Raspberry Pi 4 Model B (Cortex-A72)

Overview

The rpi_4b board supports the hardware features listed below.

on-chip / on-board: Feature integrated in the SoC / present on the board.
2 / 2: Number of instances that are enabled / disabled.
Click on the label to see the first instance of this feature in the board/SoC DTS files.
vnd,foo: Compatible string for the Devicetree binding matching the feature.
Click on the link to view the binding documentation.

Type	Location	Description	Compatible
CPU	on-chip	ARM Cortex-A72 CPU1	`arm,cortex-a72`
GPIO & Headers	on-chip	BCM2711 GPIO1 1	`brcm,bcm2711-gpio`
Interrupt controller	on-chip	ARM Generic Interrupt Controller v21	`arm,gic-v2`
LED	on-board	Group of GPIO-controlled LEDs1	`gpio-leds`
Serial controller	on-chip	BCM2711 UART1	`brcm,bcm2711-aux-uart`
SRAM	on-chip	Generic on-chip SRAM description1	`mmio-sram`
Timer	on-chip	per-core ARM architected timer1	`arm,armv8-timer`

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

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!