4 ms·
If anything, there's a strong argument to switch to seL4.
by snvzz 3mo ago
If anything, there's a strong argument to switch to seL4.
- deleted 3mo ago[deleted]
- pjmlp 3mo agoIndeed, however without some regulatory help it Will take its time for such kind of improvements across the industry.
- yjftsjthsd-h 3mo agoIt 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?