search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

tool: fix logic bugs #133

Closed Ivan-Velickovic closed 2 weeks ago

Ivan-Velickovic commented 2 weeks ago

Mistakes from the rewrite of the tool.

This should get the ZCU102 working again, which I forgot to test before merging the rewritten tool.