Walsh: Secure Virtualization Using SELinux (sVirt)
Walsh: Secure Virtualization Using SELinux (sVirt)
Posted Aug 25, 2009 9:08 UTC (Tue) by gebi (guest, #59940)In reply to: Walsh: Secure Virtualization Using SELinux (sVirt) by ebiederm
Parent article: Walsh: Secure Virtualization Using SELinux (sVirt)
sel4 (secure embedded L4) has about 7k5 lines of code.
And it's the one of the few hypervisors with a proof of correctness http://ertos.nicta.com.au/research/sel4/
The LWN site is currently under high scraper load, so comment display has been suppressed for anonymous users. If you are a human, you may read the comments by clicking the button below:
Note: you can avoid this step in the future by logging into your LWN account.