Tiny VMM that boots Linux
A sample kernel config and init is present in the contrib directory. An initramfs can be created like so:
$ cc contrib/init.c -o init -static
# cpio takes the file list from stdin
$ echo init | cpio -o -H newc > initramfsNOTE: By default, the code prints out every byte received on the serial ports, which can be suppressed by redirecting stderr to /dev/null
cargo run <KERNEL_IMAGE> <INITRAMFS>