My FreeBSD-current/Xen install notes

[Kip Macy]

> You can use microkernels[1] for almost the same thing. It's what we do
> at Technische Universität Dresden.
>
> Regards,
> --
> Julian Stecklina
>
> The day Microsoft makes something that doesn't suck is probably the day
> they start making vacuum cleaners - Ernst Jan Plugge
>
> Footnotes:
> [1]  There is a sexy new microhypervisor to be released Real Soon
>     Now(tm) too:
>     http://eurosys09dw.systems.ethz.ch/steinberg.pdf
>

Based on L4Linux, I believe that the amount of work required for
porting a PV OS is much less than creating a new "personality" for a
microkernel. That said, isn't a hypervisor really a microkernel with
device and virtual memory abstraction API?

Cheers,
Kip