3 ms·From what I’ve heard it’s a much smaller microkernel, so it’s improbable for it to be based on Linux.by MichaelZuo 2y agoFrom what I’ve heard it’s a much smaller microkernel, so it’s improbable for it to be based on Linux.