Hacker News new | ask | show | jobs
by pjmlp 1071 days ago
Switch uses its own proprietary microkernel.