I am searching simple, educative nano kernels and simple virtualizers.For example, kernel can be https://github.com/hach-que/Kernel.git or https://github.com/jtsiomb/kernel.git while I am searching simple virtualizers a lot of smaller than QEMU or VirtualBox (not need emulation another architecture).