Neo_Chen (BU4AK) says to YSITD 如果想要 Experimental 的，有個 Type-1 Hypervisor 叫 Nova，是個 Microkernel，能配合 Genode 跑