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 boards/raspberrypi/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:

  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!