Hacker News new | ask | show | jobs
by nicklarsennz 2433 days ago
seL4 looks quite interesting. What use cases have you used it in?