boards: arm64: add support for Raspberry Pi 4 Model B

This is an AArch64 board. We also add BCM2711 SoC support

Signed-off-by: honglin leng <[email protected]>

Author: lenghonglin

boards/arm64/rpi_4b/CMakeLists.txt

@@ -0,0 +1 @@
+# SPDX-License-Identifier: Apache-2.0

boards/arm64/rpi_4b/Kconfig.board

@@ -0,0 +1,6 @@
+# Copyright 2023 honglin leng <[email protected]>
+# SPDX-License-Identifier: Apache-2.0
+
+config BOARD_RPI_4B
+	bool "Broadcom BCM2711"
+	depends on SOC_BCM2711

boards/arm64/rpi_4b/Kconfig.defconfig

@@ -0,0 +1,6 @@
+# Copyright 2023 honglin leng <[email protected]>
+# SPDX-License-Identifier: Apache-2.0
+
+config BOARD
+	default "Raspberry Pi 4 Model B"
+	depends on BOARD_RPI_4B

boards/arm64/rpi_4b/board.cmake

@@ -0,0 +1 @@
+# SPDX-License-Identifier: Apache-2.0

boards/arm64/rpi_4b/doc/index.rst

@@ -0,0 +1,46 @@
+.. rpi_4b:
+
+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:
+
++-----------+------------+--------------------------------------+
+| Interface | Controller | Driver/Component                     |
++===========+============+======================================+
+| GIC-400   | on-chip    | GICv2 interrupt controller           |
++-----------+------------+--------------------------------------+
+| UART      | on-chip    | Mini uart serial port                |
++-----------+------------+--------------------------------------+
+
+Other hardware features have not been enabled yet for this board.
+
+The default configuration can be found in the defconfig file:
+
+        ``boards/arm/rpi_4b/rpi_4b_defconfig``
+
+Programming and Debugging
+*************************
+
+Flashing
+========
+
+1. Install Raspberry Pi OS using Raspberry Pi Imager. see <https://www.raspberrypi.com/software/>.
+
+2. add `kernel=zephyr.bin` in `config.txt`. see <https://www.raspberrypi.com/documentation/computers/config_txt.html#kernel>
+
+.. code-block:: console
+
+	*** Booting Zephyr OS build XXXXXXXXXXXX  ***
+	Hello World! Raspberry Pi 4 Model B!

boards/arm64/rpi_4b/rpi_4b.dts

@@ -0,0 +1,26 @@
+/*
+ * Copyright 2023 honglin leng <[email protected]>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/dts-v1/;
+
+#include <broadcom/bcm2711.dtsi>
+/ {
+	model = "Raspberry Pi 4 Model B";
+	compatible = "raspberrypi,4-model-b", "brcm,bcm2838";
+	#address-cells = <1>;
+	#size-cells = <1>;
+
+	chosen {
+		zephyr,console = &uart1;
+		zephyr,shell-uart = &uart1;
+		zephyr,sram = &sram0;
+	};
+};
+
+&uart1 {
+	status = "okay";
+	current-speed = <115200>;
+};

boards/arm64/rpi_4b/rpi_4b.yaml

@@ -0,0 +1,7 @@
+identifier: rpi_4b
+name: Raspberry Pi 4 Model B
+type: mcu
+arch: arm64
+toolchain:
+  - zephyr
+  - cross-compile

boards/arm64/rpi_4b/rpi_4b_defconfig

@@ -0,0 +1,23 @@
+# SPDX-License-Identifier: Apache-2.0
+
+# Platform Configuration
+CONFIG_SOC_BCM2711=y
+CONFIG_BOARD_RPI_4B=y
+CONFIG_ARM64_VA_BITS_36=y
+CONFIG_ARM64_PA_BITS_36=y
+
+# Zephyr Kernel Configuration
+CONFIG_XIP=n
+CONFIG_FLASH_SIZE=0
+CONFIG_FLASH_BASE_ADDRESS=0x0
+
+# Serial Drivers
+CONFIG_SERIAL=y
+CONFIG_UART_INTERRUPT_DRIVEN=y
+
+# Enable Console
+CONFIG_CONSOLE=y
+CONFIG_UART_CONSOLE=y
+
+# Timer Drivers
+CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y

drivers/serial/CMakeLists.txt

@@ -64,6 +64,7 @@ zephyr_library_sources_ifdef(CONFIG_UART_EMUL uart_emul.c)
 zephyr_library_sources_ifdef(CONFIG_UART_NUMAKER uart_numaker.c)
 zephyr_library_sources_ifdef(CONFIG_UART_EFINIX_SAPPIHIRE uart_efinix_sapphire.c)
 zephyr_library_sources_ifdef(CONFIG_UART_SEDI uart_sedi.c)
+zephyr_library_sources_ifdef(CONFIG_UART_BCM2711_MU uart_bcm2711.c)
 
 zephyr_library_sources_ifdef(CONFIG_USERSPACE   uart_handlers.c)
 

drivers/serial/Kconfig

@@ -241,4 +241,6 @@ source "drivers/serial/Kconfig.efinix_sapphire"
 
 source "drivers/serial/Kconfig.sedi"
 
+source "drivers/serial/Kconfig.bcm2711"
+
 endif # SERIAL