>     Base-HW is unrelated to NOVA or any of the other kernels. It is a
>     microkernel specifically developed for and tightly integrated with
>     Genode. Think of it as an optional back end of Genode to run
>     Genode-based systems directly on hardware (or virtual hardware like a
>     Muen partition) without a third-party kernel.
>
>
> By the way it seems fiasco.oc is not being maintained. Is something
> better available, which supports both micrkernel based runtime and
> virtualization..?

At Genode Labs, we primarily focus on NOVA, base-hw, and seL4. All these
kernels are third-generation modern microkernels [1]. For using Genode
on x86 PC hardware, NOVA is the best way to go right now.

Genode is also able to run on Fiasco.OC but we don't actively facilitate
it. E.g., we dropped the support for L4Linux (Fiasco.OC-specific
paravirtualized Linux) earlier this year [2].