My FreeBSD-current/Xen install notes

Kip Macy kmacy at
Fri May 22 19:46:21 UTC 2009

> 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:

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?


More information about the freebsd-current mailing list