Hacker News new | ask | show | jobs
by dark-star 1400 days ago
It's basically a microkernel ;-) (although with a very "fat" WiFi driver)