Virtualization is one aspect of our everyday life where multiserver operating systems can shine. Given the right underlying architecture, one gets robust and fine-grained virtualization with little effort and code. Achieving the same on conventional monolithic systems requires careful and invasive changes to the whole system, and the security merely depends on the implementation at hand.
This talk describes and demos how both fine- and coarse-grained virtualization is implemented on the Hurd, and how virtualization helps users gain freedom #0, i.e. the freedom to shape her computation environment anyway she wants.
Speakers: Justus Winter