Hacker News new | ask | show | jobs
by snvzz 801 days ago
Hopefully once they finally look into replacing the system, seL4 will be selected.