GitHub repository: kayondomartin/raspberry-pi-os
Description: Learning operating system development using Linux kernel and Raspberry Pi