Leon de Boer's starred repositories
rpi4-osdev
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
Raspberry-Pi
My public Baremetal Raspberry Pi code
Raspberry-Pi-Multicore
Multicore code for Raspberry Pi
linux_device_access
Linux access to devices in C code