GitHub repository: mikeyusc/ScorchOS
Primary language: C
Description: ScorchOS is a 32-bit protected mode hobby kernel.