Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
CC0-1.0 License
Learning operating system development using Linux kernel and Raspberry Pi
Open source VPU side bootloader for Raspberry Pi.
How to create an OS from scratch