A microkernel with a purpose - to keep most of the code out of the kernel
c kernel x86
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities