Hacker News new | ask | show | jobs
by bdrool 3422 days ago
Slight correction: it was called the "nanokernel".