[pjmlp]

Yes Singularity uses a C++ based microkernel and everything else is written in Sing#, what is your point?

Midori has nothing to do with Singularity in architecture other than being a second attempt from the same group of researchers at a memory safe OS.

Android and Chrome OS aren't Linux, they use a highly customized Linux kernel, in fact after Project Treble it is so customized that it could almost be considered a pseudo-microkernel, as all Treble drivers exist as user processes, use Android IPC to talk to the kernel and since Android 8 all drivers must be Treble based (Android considers the Linux kernel drivers as "legacy drivers").

Finally I don't see how Singularity and the Linux kernel have anything to do with each other, my examples with Android and ChromeOS are what I mentioned in relation with the Linux kernel.

[Maursault]

> Ironically, despite still having the Linux kernel underneath

I misread what you were referring to is all. I thought you were saying Singularity ran on the kernel linux, but you were not saying that at all. You were talking about the GNUless Android and ChromeOS. Comprehension is underrated.