There are 2 repositories under monolithickernel topic.
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
A modern Unix inspired operating system
My hobby operating system for old PCs.
A simple 16 bit οperating system with it's own primitive notepad and brainfuck interpreter
Christian's operating system source tree
A minimal, monolithic operating system designed to check the hardware of the host system.