path: root/configs/platform-v7a/rpi-firmware/config.txt

# use kernel upstream devicetree names and pass it to barebox
upstream_kernel=1
# Enable the UART (miniuart for RPI3, PL011 for RPI2)
enable_uart=1
# Set barebox as third state bootloader
kernel=barebox.img