Kernel playground

Playground for kernel development and experiments mostly written following the excelent tutorials from https://os.phil-opp.com/

Running

To run the kernel, you need to install bootimage version >= 0.7.3.

Then just run cargo xrun.