seL4 / microkit

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

ZCU102 support #3

Closed bennoleslie closed 2 years ago

bennoleslie commented 2 years ago

Add basic support for the ZCU102