3 ms·
How does this have anything to do with sel4?
- dandrews 12y agoFlagged for your editorializing title (original youtube title: "NICTA: High Assurance Demo"). If you watched the video, you'll have noticed that they explicitly said that compromised applications ought not be able to cross the sel4 barrier and compromise other (possibly critical) applications running on the same platform.