Released an Open Source Project
HalideOS
An Experimental OS written entirely from scratch in C++.
Code :
https://github.com/DSC-KIIT/project-halide
Docs :
https://dsc-kiit.github.io/project-halide/