logoalt Hacker News

snvzztoday at 12:16 PM3 repliesview on HN

If anything, there's a strong argument to switch to seL4.


Replies

yjftsjthsd-htoday at 4:00 PM

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?

pjmlptoday at 3:43 PM

Indeed, however without some regulatory help it Will take its time for such kind of improvements across the industry.