From c6d97fdcb014b550223aac97527154525ece9172 Mon Sep 17 00:00:00 2001 From: Yan-Jie Wang Date: Tue, 3 Oct 2023 17:42:29 +0800 Subject: [PATCH] Add support for linux+zephyr on rpi4 Signed-off-by: Yan-Jie Wang --- README.md | 2 +- demos/linux+zephyr/configs/rpi4.c | 131 ++++++++++++++++++ .../boards/arm64/baovm_rpi4/Kconfig.board | 8 ++ .../boards/arm64/baovm_rpi4/Kconfig.defconfig | 13 ++ .../boards/arm64/baovm_rpi4/baovm_rpi4.dts | 95 +++++++++++++ .../arm64/baovm_rpi4/baovm_rpi4_defconfig | 12 ++ 6 files changed, 260 insertions(+), 1 deletion(-) create mode 100644 demos/linux+zephyr/configs/rpi4.c create mode 100644 guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.board create mode 100644 guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.defconfig create mode 100644 guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4.dts create mode 100644 guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4_defconfig diff --git a/README.md b/README.md index 59db39a..d8e3449 100644 --- a/README.md +++ b/README.md @@ -260,7 +260,7 @@ Build the firmware and deploy the system according to the target platform: | zcu104 | x | x | | | | imx8qm | x | x | | | | tx2 | x | x | | | -| rpi4 | x | x | | | +| rpi4 | x | x | x | | | qemu-aarch64-virt | x | x | x | | | fvp-a-aarch64 | x | x | x | x | | fvp-a-aarch32 | x | x | x | x | diff --git a/demos/linux+zephyr/configs/rpi4.c b/demos/linux+zephyr/configs/rpi4.c new file mode 100644 index 0000000..db6bac4 --- /dev/null +++ b/demos/linux+zephyr/configs/rpi4.c @@ -0,0 +1,131 @@ +#include + +VM_IMAGE(linux_image, XSTR(BAO_DEMOS_WRKDIR_IMGS/linux.bin)); +VM_IMAGE(zephyr_image, XSTR(BAO_DEMOS_WRKDIR_IMGS/zephyr.bin)); + +struct config config = { + + .shmemlist_size = 1, + .shmemlist = (struct shmem[]) { + [0] = { .size = 0x00010000, } + }, + + .vmlist_size = 2, + .vmlist = { + { + .image = { + .base_addr = 0x20000000, + .load_addr = VM_IMAGE_OFFSET(linux_image), + .size = VM_IMAGE_SIZE(linux_image) + }, + + .entry = 0x20000000, + + .platform = { + .cpu_num = 3, + + .region_num = 1, + .regions = (struct vm_mem_region[]) { + { + .base = 0x20000000, + .size = 0x40000000, + .place_phys = true, + .phys = 0x20000000 + } + }, + + .ipc_num = 1, + .ipcs = (struct ipc[]) { + { + .base = 0xf0000000, + .size = 0x00010000, + .shmem_id = 0, + .interrupt_num = 1, + .interrupts = (irqid_t[]) {52} + } + }, + + .dev_num = 2, + .devs = (struct vm_dev_region[]) { + { + /* GENET */ + .pa = 0xfd580000, + .va = 0xfd580000, + .size = 0x10000, + .interrupt_num = 2, + .interrupts = (irqid_t[]) {189, 190} + }, + { + /* Arch timer interrupt */ + .interrupt_num = 1, + .interrupts = + (irqid_t[]) {27} + } + }, + + .arch = { + .gic = { + .gicd_addr = 0xff841000, + .gicc_addr = 0xff842000, + } + } + }, + }, + { + .image = { + .base_addr = 0x80000000, + .load_addr = VM_IMAGE_OFFSET(zephyr_image), + .size = VM_IMAGE_SIZE(zephyr_image) + }, + + .entry = 0x80000000, + + .platform = { + .cpu_num = 1, + + .region_num = 1, + .regions = (struct vm_mem_region[]) { + { + .base = 0x80000000, + .size = 0x8000000 + } + }, + + .ipc_num = 1, + .ipcs = (struct ipc[]) { + { + .base = 0x70000000, + .size = 0x00004000, + .shmem_id = 0, + .interrupt_num = 1, + .interrupts = (irqid_t[]) {52} + } + }, + + .dev_num = 2, + .devs = (struct vm_dev_region[]) { + { + /* UART1 */ + .pa = 0xfe215000, + .va = 0xfe215000, + .size = 0x1000, + .interrupt_num = 1, + .interrupts = (irqid_t[]) {125} + }, + { + /* Arch timer interrupt */ + .interrupt_num = 1, + .interrupts = + (irqid_t[]) {27} + } + }, + .arch = { + .gic = { + .gicd_addr = 0xff841000, + .gicc_addr = 0xff842000, + } + } + }, + }, + }, +}; diff --git a/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.board b/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.board new file mode 100644 index 0000000..73a1986 --- /dev/null +++ b/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.board @@ -0,0 +1,8 @@ +# Copyright (c) 2019 Carlo Caione +# Copyright (c) 2023 Yan-Jie Wang +# SPDX-License-Identifier: Apache-2.0 + +config BOARD_RASPBERRY_PI_4B + bool "Raspberry Pi 4B" + depends on SOC_BCM2711 + select ARM64 diff --git a/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.defconfig b/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.defconfig new file mode 100644 index 0000000..e854137 --- /dev/null +++ b/guests/zephyr/boards/arm64/baovm_rpi4/Kconfig.defconfig @@ -0,0 +1,13 @@ +# Copyright (c) 2019 Carlo Caione +# Copyright (c) 2023 Yan-Jie Wang +# SPDX-License-Identifier: Apache-2.0 + +if BOARD_RASPBERRY_PI_4B + +config BUILD_OUTPUT_BIN + default y + +config BOARD + default "raspberry_pi_4b" + +endif # BOARD_RASPBERRY_PI_4B diff --git a/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4.dts b/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4.dts new file mode 100644 index 0000000..9492bc6 --- /dev/null +++ b/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4.dts @@ -0,0 +1,95 @@ +/* + * Copyright (c) 2021 Carlo Caione + * Copyright (c) 2023 Yan-Jie Wang + * SPDX-License-Identifier: Apache-2.0 + */ + +/dts-v1/; + +#include +#include + +/ { + model = "Bao Raspberry Pi 4 Model B"; + + #address-cells = <1>; + #size-cells = <1>; + + aliases { }; + + chosen { + /* + * The SRAM node is actually located in the + * DRAM region of the FVP Base RevC 2xAEMv8A. + */ + zephyr,sram = &dram0; + zephyr,console = &uart0; + zephyr,shell-uart = &uart0; + }; + + psci { + compatible = "arm,psci-0.2"; + method = "smc"; + }; + + cpus { + #address-cells = <1>; + #size-cells = <0>; + + cpu@0 { + device_type = "cpu"; + compatible = "arm,cortex-a72"; + reg = <0>; + }; + }; + + timer { + compatible = "arm,armv8-timer"; + interrupt-parent = <&gic>; + interrupts = , + , + , + ; + }; + + soc { + #address-cells = <1>; + #size-cells = <1>; + compatible = "simple-bus"; + ranges; + interrupt-parent = <&gic>; + + gic: interrupt-controller@ff841000 { + compatible = "arm,gic-v2", "arm,gic"; + reg = <0xff841000 0x1000>, + <0xff842000 0x2000>; + interrupt-controller; + #interrupt-cells = <4>; + status = "okay"; + #address-cells = <1>; + #size-cells = <1>; + }; + + uart0: uart@fe215040 { + compatible = "brcm,bcm2711-aux-uart"; + reg = <0xfe215040 0x40>; + clock-frequency = <500000000>; + interrupts = ; + status = "disabled"; + }; + + dram0: memory@80000000 { + compatible = "mmio-sram"; + reg = <0x80000000 DT_SIZE_M(128)>; + }; + }; +}; + +&uart0 { + status = "okay"; + current-speed = <115200>; +}; diff --git a/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4_defconfig b/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4_defconfig new file mode 100644 index 0000000..0071c4d --- /dev/null +++ b/guests/zephyr/boards/arm64/baovm_rpi4/baovm_rpi4_defconfig @@ -0,0 +1,12 @@ +CONFIG_SOC_BCM2711=y +CONFIG_BOARD_RASPBERRY_PI_4B=y + +# Enable UART driver +CONFIG_SERIAL=y + +# Enable console +CONFIG_CONSOLE=y +CONFIG_UART_CONSOLE=y + +# Enable serial port +CONFIG_UART_INTERRUPT_DRIVEN=y