seL4 / microkit

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

Re-enable the i.MX8MM-EVK support #95

Closed Ivan-Velickovic closed 5 months ago