DasOS is a research project which contains prototypes for different parts regarding OS development like kernels, virtual machines, file formats and systems. - View it on GitHub