Hacker News new | ask | show | jobs
by snvzz 19 hours ago
If anything, there's a strong argument to switch to seL4.
2 comments

It was my vague understanding that by the time you implemented all the apis needed to run normal software on top of that, you either have enough apis that different tasks can still compromise each other, or you have shoved everything into a single task with very little isolation between normal user processes. In either case, it doesn't seem like you actually gained so much. What am I missing?
Indeed, however without some regulatory help it Will take its time for such kind of improvements across the industry.