Hacker News Reader

But, do we somehow know that it isn't based on Linux? The fact alone that it will not run Android apps doesn't bar that.

I can only say that, going through the filesystem of the emulator, I saw a .so for SELinux, which makes me extremely suspicious

From what I’ve heard it’s a much smaller microkernel, so it’s improbable for it to be based on Linux.