2 ms·

>For example, it'd be nice to use KVM (QEMU or even crosvm) instead of Xen Or even better, seL4, for which an effort exists[0]. 0. https://trustworthy.systems

by snvzz 3y ago

>For example, it'd be nice to use KVM (QEMU or even crosvm) instead of Xen Or even better, seL4, for which an effort exists[0]. 0. https://trustworthy.systems/projects/TS/makatea https://trustworthy.systems/projects/TS/makatea