Hacker News new | ask | show | jobs
by vacuity 450 days ago
Even if it's not exactly seL4, there's good value in taking inspiration for design elements. It would still be a lot more robust than commodity operating systems.