Skip to content

Commit

Permalink
update isolette diagram
Browse files Browse the repository at this point in the history
  • Loading branch information
jasonbelt committed Dec 19, 2024
1 parent bc851e9 commit 972a853
Show file tree
Hide file tree
Showing 3 changed files with 2,809 additions and 1,679 deletions.
9 changes: 6 additions & 3 deletions isolette/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@
cd INSPECTA-models
```

1. Clone the SysMLv2 AADL Libraries into the Isolette sysml directory
1. Clone the [SysMLv2 AADL Libraries](https://github.com/santoslab/sysml-aadl-libraries.git) into the Isolette sysml directory

```
git clone https://github.com/santoslab/sysml-aadl-libraries.git isolette/sysml/sysml-aadl-libraries
Expand Down Expand Up @@ -81,7 +81,9 @@
- [microkit #175](https://github.com/seL4/microkit/pull/175)
- [seL4 #1308](https://github.com/seL4/seL4/pull/1308)
## JVM
## Codegen
### JVM
1. *OPTIONAL* Rerun codegen targeting the JVM
Expand Down Expand Up @@ -119,7 +121,7 @@
sireum hamr sysml logika --sourcepath isolette/sysml
```
## Microkit
### Microkit
1. *OPTIONAL* Rerun codegen targeting Microkit
Expand Down Expand Up @@ -152,6 +154,7 @@
Type ``CTRL-a x`` to exit the QEMU simulation
You should see output similar to the following
```
Booting all finished, dropped to user space
Expand Down
Binary file removed isolette/sysml/arch.png
Binary file not shown.
Loading

0 comments on commit 972a853

Please sign in to comment.