This guy is using the course to make his own little Raspberry Pi OS, or at least it seems so looking at the README. Though his OS is mainly written in C, while

This guy is using the course to make his own little Raspberry Pi OS, or at least it seems so looking at the README. Though his OS is mainly written in C, while I believe the course is mostly or all assembly. https://github.com/mustafa-khann/tinyos https://github.com/mustafa-khann/tinyos