rpi: Use RPi OS' config.txt for RPi devices#193

Merged

dsd merged 6 commits intomasterfrom

enable-rpi5-boot

Nov 17, 2025

Commits on Nov 6, 2025

eib_image: Install RPi devices' dtb from the OSTree deployment
starnight
committed
arm64: boot.scr: RPi devices use the device tree from RPi firmware
starnight
committed
eib_image: Drop customized CMA parameter from RPi's boot arguments
starnight
committed

Commits on Nov 17, 2025