search

seL4 / microkit

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

README: add maaxboard to supported list #111

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

Forgot to add this in the original PR that added the MaaXBoard support.