Interesting. I my knowledge of hypervisors and virtualization is quite superficial. What makes Xen so bloated? The seL4 kernel has piqued my interest a lot. Th

Interesting. I my knowledge of hypervisors and virtualization is quite superficial. What makes Xen so bloated? The seL4 kernel has piqued my interest a lot. Though, shamefully, I have to admit the interest isn't backed by many technical reasons. I'm on a vague, pesonal quest to run as minimal a system (both hardware and software) as possible while also keeping things as secure as possible. seL4 hits both those buttons, philosophically. Thanks for the links. This gives some good places to turn my interest into actual knowledge.