Skip to content

Commit a1bd8c1

Browse files
manual: add section on internals
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
1 parent 0f01b97 commit a1bd8c1

File tree

4 files changed

+153
-0
lines changed

4 files changed

+153
-0
lines changed

.reuse/dep5

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@ Files:
1010
flake.lock
1111
CHANGES.md
1212
VERSION
13+
docs/assets/microkit_flow.svg
14+
docs/assets/microkit_flow.pdf
1315
Copyright: 2024, UNSW
1416
License: BSD-2-Clause
1517

docs/assets/microkit_flow.pdf

58.1 KB
Binary file not shown.

0 commit comments

Comments
 (0)