Bare bone kernel from tutorial http://wiki.osdev.org/
GPGPU microprocessor architecture
Yet another simple kernel
Nintento Entertainment Kernel: Nintendo emulator
This is basic operating system, with kernel made in C.
Modular and configurable OS for embedded applications
Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system...
A developing operating system
A simple template for building a Limine-compliant kernel in C.