Example Resources https://old.reddit.com/r/osdev/comments/w9c2hm/resources_about_microkernels/ An unfinished microkernel OS: https://github.com/tijuo/Silverbox-OS/tree/master/kernel