GitHub repository: rithvikrao/stratus
Description: Stratus kernel source tree