Hacker News new | ask | show | jobs
by pjmlp 2802 days ago
Except that most kernels for high integrity computing or hard real time deployments are microkernels.