Comment Comment by trollied If you're interested, the microkernel is open source: https://github.com/seL4/seL4 parent trollied 2 years ago
