Hacker News new | ask | show | jobs
by eru 3659 days ago
seL4 doesn't provide very much to the programs, does it? I think it closer in spirit to Xen than to the linux kernel?
1 comments

The Xen hypervisor uses a microkernel architecture. A kernel could implement a userland (e.g. traditional UNIX), a VM interface (e.g. KVM) or nothing at all (e.g. a unikernel). My point is that unikernels do not have a monopoly on small sizes and they are not worth mentioning as an advantage.