Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- The embedded and military markets may keep funding them for the foreseeable future but they need a native seL4/Linux if they want to honestly claim they are improving systems' security with their capability model.
Secure–boot virtualization platforms are dime a dozen nowadays.
by avadodin - Read the fine print, "non-MCS (mixed criticality systems), unicore"
- What operating systems use SeL4? I know of the following:
- GenodeOS
- LionsOS
- A chinese car maker was using it as a hypervisor in their cars, IIRC
- What else? Are there any private deployments you guys are aware of?
by kvuj - Coming soon: a side-channel timing attack which completely invalidates this resultby StilesCrisis