2 ms·
There is a Xen version with a hypercall interface already https://github.com/rumpkernel/rumprun-xen https://github.com/rumpkernel/rumprun-xen There are microke
by justincormack 12y ago
There is a Xen version with a hypercall interface already https://github.com/rumpkernel/rumprun-xen https://github.com/rumpkernel/rumprun-xen
There are microkernels using the rump kernel code, eg Genode.