search

seL4 / microkit

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

Fixes relating to the ZCU102 #134

Closed Ivan-Velickovic closed 2 weeks ago

Ivan-Velickovic commented 2 weeks ago

Motivated by getting the ZCU102 working on mainline QEMU. Thanks to @nspin for bringing this up.