News for hackers. Stuff that matters.

A comment on Qubes OS: A reasonably secure operating system. Parent comment

Re:Qubes OS: A reasonably secure operating system by snvzz on Sunday November 19, 2017 @12:25PM (#15734790)
>Xen's hypervisor's size is very small.

150kLoC is quite a bit for an hypervisor.

[ Parent | on HN ]
Re:Qubes OS: A reasonably secure operating system by mmrezaie on Sunday November 19, 2017 @02:25PM (#15735435)
way smaller compared to KVM/Linux's but compared to seL4's 10k LOC it is huge which is why seL4 is a good candidate as industry standard size for trustable hypervisor layer [1] but I am not sure how and what happened to L4Linux project other than being just an academic project!

https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf

[ Parent | on HN ]