4 ms·Is that not a Linux kernel?by tluyben2 4y agoIs that not a Linux kernel?pjmlp 4y agoYep, with drivers that don't get upstream, and a custom userland based on a browser engine.