Hacker News new | ask | show | jobs
by dialup_sounds 393 days ago
The DoD already uses a commercial microkernel OS called INTEGRITY for various applications.