simpleos https://github.com/cfenollosa/os-tutorial https://www.kernel.org/doc/html/latest/virt/kvm/api.html https://github.com/tuhdo/os01/ https://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf