search

seL4 / microkit

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

docs: remove old README #74

Closed Ivan-Velickovic closed 8 months ago

Ivan-Velickovic commented 8 months ago

Most of this information is out-of-date and no longer applies.