Raspberry Pi 4 Linux

This series will cover Linux kernel building, boot configuration, UART-based validation and hardware experiments on the Raspberry Pi 4.