Raspberry Pi 4 Model B (Cortex-A72)

Overview

see <https://www.raspberrypi.com/products/raspberry-pi-4-model-b/specifications/>

Hardware

see <https://www.raspberrypi.com/documentation/computers/raspberry-pi.html>

Supported Features

The Raspberry Pi 4 Model B board configuration supports the following hardware features:

Peripheral	Kconfig option	Devicetree compatible
GIC-400	N/A	arm,gic-v2
GPIO	CONFIG_GPIO	brcm,bcm2711-gpio
UART (Mini UART)	CONFIG_SERIAL	brcm,bcm2711-aux-uart

Other hardware features have not been enabled yet for this board.

The default configuration can be found in the defconfig file:

boards/arm64/rpi_4b/rpi_4b_defconfig

Programming and Debugging

TF Card

Prepare a TF card with MBR and FAT32. In the root directory of the TF card:

1. Download and place these firmware files:

   • bcm2711-rpi-4-b.dtb

   • bootcode.bin

   • start4.elf

2. Copy build/zephyr/zephyr.bin

3. Create a config.txt:

   kernel=zephyr.bin
   arm_64bit=1
   enable_uart=1
   uart_2ndstage=1
   

Insert the card and power on the board. You should see the following output on the serial console (GPIO 14/15):

*** Booting Zephyr OS build XXXXXXXXXXXX  ***
Hello World! Raspberry Pi 4 Model B!