Singularity actually uses a micro-kernel in C++, with everything else in Sing#.

An approach similar to what Meadows has taken with NuttX.

I haven't mentioned, because I expected it as a possible reply that Singularity wasn't 100% pure Sing#.