3 ms·It's basically a microkernel ;-) (although with a very "fat" WiFi driver)by dark-star 4y agoIt's basically a microkernel ;-) (although with a very "fat" WiFi driver)