Zephyr v3.6.0 xt rpi5 dom0 wip

arch/arm64/core/xen/CMakeLists.txt

@@ -8,4 +8,4 @@ zephyr_compile_options($<$<COMPILE_LANGUAGE:ASM>:-D__ASSEMBLY__>)
 zephyr_compile_options(-D__XEN_INTERFACE_VERSION__=0x00040e00)
 
 zephyr_library_sources(hypercall.S)
-zephyr_library_sources(enlighten.c)
+zephyr_library_sources_ifdef(CONFIG_XEN_EVENTS enlighten.c)

boards/arm64/rpi_5/Kconfig.board

@@ -0,0 +1,6 @@
+# Copyright 2024 Junho Lee <[email protected]>
+# SPDX-License-Identifier: Apache-2.0
+
+config BOARD_RPI_5
+	bool "Broadcom BCM2712"
+	depends on SOC_BCM2712

boards/arm64/rpi_5/Kconfig.defconfig

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

boards/arm64/rpi_5/board.cmake

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

boards/arm64/rpi_5/board.yml

@@ -0,0 +1,5 @@
+board:
+  name: rpi_5
+  vendor: raspberrypi
+  socs:
+  - name: bcm2712

boards/arm64/rpi_5/doc/index.rst

@@ -0,0 +1,193 @@
+.. rpi_5:
+
+Raspberry Pi 5 (Cortex-A76)
+###########################
+
+Overview
+********
+
+`Raspberry Pi 5 product-brief`_
+
+Hardware
+********
+
+- Broadcom BCM2712 2.4GHz quad-core 64-bit Arm Cortex-A76 CPU, with cryptography extensions, 512KB per-core L2 caches and a 2MB shared L3 cache
+- VideoCore VII GPU, supporting OpenGL ES 3.1, Vulkan 1.2
+- Dual 4Kp60 HDMI® display output with HDR support
+- 4Kp60 HEVC decoder
+- LPDDR4X-4267 SDRAM (4GB and 8GB SKUs available at launch)
+- Dual-band 802.11ac Wi-Fi®
+- Bluetooth 5.0 / Bluetooth Low Energy (BLE)
+- microSD card slot, with support for high-speed SDR104 mode
+- 2 x USB 3.0 ports, supporting simultaneous 5Gbps operation
+- 2 x USB 2.0 ports
+- Gigabit Ethernet, with PoE+ support (requires separate PoE+ HAT)
+- 2 x 4-lane MIPI camera/display transceivers
+- PCIe 2.0 x1 interface for fast peripherals (requires separate M.2 HAT or other adapter)
+- 5V/5A DC power via USB-C, with Power Delivery support
+- Raspberry Pi standard 40-pin header
+- Real-time clock (RTC), powered from external battery
+- Power button
+
+Supported Features
+==================
+
+The Raspberry Pi 5 board configuration supports the following hardware features:
+
+.. list-table::
+   :header-rows: 1
+
+   * - Peripheral
+     - Kconfig option
+     - Devicetree compatible
+   * - GIC-400
+     - N/A
+     - :dtcompatible:`arm,gic-v2`
+   * - GPIO
+     - :kconfig:option:`CONFIG_GPIO`
+     - :dtcompatible:`brcm,brcmstb-gpio`
+   * - UART
+     - :kconfig:option:`CONFIG_SERIAL`
+     - :dtcompatible:`arm,pl011`
+
+Not all hardware features are supported yet. See `Raspberry Pi hardware`_ for the complete list of hardware features.
+
+The default configuration can be found in
+:zephyr_file:`boards/raspberrypi/rpi_5/rpi_5_defconfig`.
+
+Programming and Debugging
+*************************
+
+Blinky
+======
+
+In brief,
+    1. Format your Micro SD card with MBR and FAT32.
+    2. Save three files below in the root directory.
+        * config.txt
+        * zephyr.bin
+        * `bcm2712-rpi-5.dtb`_
+    3. Insert the Micro SD card and power on the Raspberry Pi 5.
+
+then, You will see the Raspberry Pi 5 running the `zephyr.bin`.
+
+config.txt
+----------
+
+.. code-block:: text
+
+   kernel=zephyr.bin
+   arm_64bit=1
+
+
+zephyr.bin
+----------
+
+Build an app `samples/basic/blinky`
+
+.. zephyr-app-commands::
+   :zephyr-app: samples/basic/blinky
+   :board: rpi_5
+   :goals: build
+
+Copy `zephyr.bin` from `build/zephyr` directory to the root directory of the Micro SD card.
+
+Insert the Micro SD card and power on the Raspberry Pi 5. And then, the STAT LED will start to blink.
+
+
+Serial Communication
+====================
+
+wiring
+------
+
+You will need the following items:
+   * `Raspberry Pi Debug Probe`_
+   * JST cable: 3-pin JST connector to 3-pin JST connector cable
+   * USB cable: USB A male - Micro USB B male
+
+Use the JST cable to connect the Raspberry Pi Debug Probe UART port to the Raspberry Pi 5 UART port between the HDMI ports.
+
+Then connect the Raspberry Pi Debug Probe to your computer with a USB cable.
+
+
+config.txt
+----------
+
+.. code-block:: text
+
+   kernel=zephyr.bin
+   arm_64bit=1
+   enable_uart=1
+   uart_2ndstage=1
+
+
+zephyr.bin
+----------
+
+Build an app `samples/hello_world`
+
+.. zephyr-app-commands::
+   :zephyr-app: samples/hello_world
+   :board: rpi_5
+   :goals: build
+
+Copy `zephyr.bin` from `build/zephyr` directory to the root directory of the Micro SD card.
+
+Insert the Micro SD card into your Raspberry Pi 5.
+
+
+serial terminal emulator
+------------------------
+
+When you power on the Raspberry Pi 5, you will see the following output in the serial console:
+
+.. code-block:: text
+
+   *** Booting Zephyr OS build XXXXXXXXXXXX  ***
+   Hello World! rpi_5/bcm2712
+
+
+.. _Raspberry Pi 5 product-brief:
+   https://datasheets.raspberrypi.com/rpi5/raspberry-pi-5-product-brief.pdf
+
+.. _Raspberry Pi hardware:
+   https://www.raspberrypi.com/documentation/computers/raspberry-pi.html
+
+.. _bcm2712-rpi-5.dtb:
+   https://github.com/raspberrypi/firmware/raw/master/boot/bcm2712-rpi-5-b.dtb
+
+.. _Raspberry Pi Debug Probe:
+   https://www.raspberrypi.com/products/debug-probe/
+
+XEN Dom0
+========
+
+The Raspberry Pi 5 platform can be used to run as Xen Zephyr Dom0. For such purposes the `xen_dom0`
+snippet can be used.
+
+Run below command as an example of RPI 5 Zephyr build as Dom0:
+
+.. code-block:: bash
+
+   west build -b rpi_5 -p always -S xen_dom0 samples/hello_world
+
+It is expected to be used with special application performing Xen Domain-0/Dom0 functions.
+
+.. note::
+
+   The "hypervisor@x" and "memory@x" DT nodes may need to be updated depending on the Xen boot,
+   because normaly Xan will update DT for the target Kernel, but this is not possible in case
+   of Zephyr. See comments in `rpi_5_xen_dom0.dts`.
+
+XEN DomD with HW passthrough
+============================
+
+The Raspberry Pi 5 platform can be used to run as Xen Zephyr DomD with RPI 5 HW support.
+For such purposes the `rpi_5_xen_domd` snippet can be used.
+
+Run the command below as an example of RPI 5 Zephyr build as DomD:
+
+.. code-block:: bash
+
+   west build -b xenvm -S rpi_5_xen_domd samples/basic/blinky

boards/arm64/rpi_5/rpi_5.dts

@@ -0,0 +1,45 @@
+/*
+ * Copyright 2024 Junho Lee <[email protected]>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/dts-v1/;
+
+#include <broadcom/bcm2712.dtsi>
+#include <zephyr/dt-bindings/gpio/gpio.h>
+
+/ {
+	compatible = "raspberrypi,5-model-b", "brcm,bcm2712";
+	model = "Raspberry Pi 5";
+	#address-cells = <2>;
+	#size-cells = <1>;
+
+	aliases {
+		led0 = &led_act;
+	};
+
+	chosen {
+		zephyr,sram = &sram0;
+		zephyr,console = &uart10;
+		zephyr,shell-uart = &uart10;
+	};
+
+	leds {
+		compatible = "gpio-leds";
+
+		led_act: led-act {
+			gpios = <&gio_aon 9 GPIO_ACTIVE_LOW>;
+			label = "ACT";
+		};
+	};
+};
+
+&gio_aon {
+	status = "okay";
+};
+
+&uart10 {
+	status = "okay";
+	current-speed = <115200>;
+};

boards/arm64/rpi_5/rpi_5.yaml

@@ -0,0 +1,7 @@
+identifier: rpi_5
+name: Raspberry Pi 5
+type: mcu
+arch: arm64
+toolchain:
+  - zephyr
+  - cross-compile

boards/arm64/rpi_5/rpi_5_defconfig

@@ -0,0 +1,12 @@
+# SPDX-License-Identifier: Apache-2.0
+
+CONFIG_SOC_BCM2712=y
+CONFIG_BOARD_RPI_5=y
+CONFIG_ARM64_VA_BITS_40=y
+CONFIG_ARM64_PA_BITS_40=y
+CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y
+
+# Enable serial console.
+CONFIG_SERIAL=y
+CONFIG_CONSOLE=y
+CONFIG_UART_CONSOLE=y

boards/arm64/xenvm/xenvm.dts

@@ -69,7 +69,7 @@
 
 	hypervisor: hypervisor@38000000 {
 		compatible = "xen,xen";
-		reg = <0x00 0x38000000 0x00 0x1000000>;
+		reg = <0x00 0x38000000 0x00 0x10000>;
 		interrupts = <GIC_PPI 0x0f IRQ_TYPE_EDGE IRQ_DEFAULT_PRIORITY>;
 		interrupt-parent = <&gic>;
 	};

boards/arm64/xenvm/xenvm_defconfig

@@ -18,3 +18,4 @@ CONFIG_LOG_MODE_MINIMAL=n
 CONFIG_USERSPACE=n
 
 CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y
+CONFIG_XEN_REGIONS=n

drivers/gpio/CMakeLists.txt

@@ -91,6 +91,7 @@ zephyr_library_sources_ifdef(CONFIG_GPIO_BCM2711    gpio_bcm2711.c)
 zephyr_library_sources_ifdef(CONFIG_GPIO_RENESAS_RA gpio_renesas_ra.c)
 zephyr_library_sources_ifdef(CONFIG_GPIO_RZT2M    gpio_rzt2m.c)
 zephyr_library_sources_ifdef(CONFIG_GPIO_AMBIQ      gpio_ambiq.c)
+zephyr_library_sources_ifdef(CONFIG_GPIO_BRCMSTB    gpio_brcmstb.c)
 
 if (CONFIG_GPIO_EMUL_SDL)
   zephyr_library_sources(gpio_emul_sdl.c)

drivers/gpio/Kconfig

@@ -240,4 +240,6 @@ source "drivers/gpio/Kconfig.rzt2m"
 
 source "drivers/gpio/Kconfig.ambiq"
 
+source "drivers/gpio/Kconfig.brcmstb"
+
 endif # GPIO

drivers/gpio/Kconfig.brcmstb

@@ -0,0 +1,9 @@
+# Copyright (c) 2024 Junho Lee <[email protected]>
+# SPDX-License-Identifier: Apache-2.0
+
+config GPIO_BRCMSTB
+	bool "Broadcom Set-top box SoC GPIO Driver"
+	default y
+	depends on DT_HAS_BRCM_BRCMSTB_GPIO_ENABLED
+	help
+	  Enable Driver for Broadcom Set-top box SoC GPIO Banks.