snippets: xen_dom0: add rpi5 board

Add RPI5 board support.

Signed-off-by: Grygorii Strashko <[email protected]>

snippets/xen_dom0/boards/rpi_5.overlay

@@ -0,0 +1,51 @@
+/*
+ * Copyright (C) 2024 EPAM Systems.
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+ /delete-node/ &sram0;
+
+#include <mem.h>
+
+/ {
+	#address-cells = <2>;
+	#size-cells = <1>;
+	/*
+	 * This node may differs on different setups, please check
+	 * following line in Xen boot log to set it right:
+	 * (XEN) Grant table range: 0x00000002800000-0x00000002840000
+	 * Also, add extended region 1:
+	 * (XEN) d0: extended region 1: 0x40000000->0x5fe00000
+	 *
+	 * Xen passes actual values for setup in domain device tree, but Zephyr
+	 * is not capable to parse and handle it in runtime.
+	 */
+	hypervisor: hypervisor@2800000 {
+		compatible = "xen,xen";
+		reg = <0x00 0x2800000 0x40000>, <0x00 0x40000000 0x1fe00000>;
+		interrupts = <GIC_PPI 0x0f IRQ_TYPE_EDGE IRQ_DEFAULT_PRIORITY>;
+		interrupt-parent = <&gic>;
+		status = "okay";
+	};
+
+	/*
+	 * This node may differs on different setups, because Xen picks
+	 * region for Domain-0 for every specific configuration. You can
+	 * start Xen for your platform and check following log:
+	 * (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
+	 * (XEN) BANK[0] 0x00000060000000-0x00000080000000 (512MB)
+	 * (XEN) Loading zImage from 0000000000080000 to 0000000060000000-0000000060038004
+	 *
+	 * Xen passes actual values for setup in domain device tree, but Zephyr
+	 * is not capable to parse and handle it in runtime.
+	 */
+	sram0: memory@60000000 {
+		compatible = "mmio-sram";
+		reg = <0x00 0x60000000 DT_SIZE_M(16)>;
+	};
+};
+
+&uart0 {
+	status = "disabled";
+};

snippets/xen_dom0/snippet.yml

@@ -16,3 +16,6 @@ boards:
   rcar_spider_ca55:
     append:
       EXTRA_DTC_OVERLAY_FILE: boards/rcar_spider_ca55.overlay
+  rpi_5:
+    append:
+      EXTRA_DTC_OVERLAY_FILE: boards/rpi_5.overlay