diff --git a/snippets/xen_dom0/boards/rcar_spider_s4_r8a779f0_a55.overlay b/snippets/xen_dom0/boards/rcar_spider_s4_r8a779f0_a55.overlay new file mode 100644 index 0000000000..5be53e872b --- /dev/null +++ b/snippets/xen_dom0/boards/rcar_spider_s4_r8a779f0_a55.overlay @@ -0,0 +1,43 @@ +/* + * Copyright (C) 2024 EPAM Systems. + * + * SPDX-License-Identifier: Apache-2.0 + */ + +/delete-node/ &ram; +/delete-node/ &hscif0; + +/ { + /* + * This node may differs on different setups, please check + * following line in Xen boot log to set it right: + * (XEN) Grant table range: 0x00000078080000-0x000000780c0000 + * Also, add extended region 1: + * (XEN) Extended region 1: 0x40000000->0x47e00000 + * + * Xen passes actual values for setup in domain device tree, but Zephyr + * is not capable to parse and handle it in runtime. + */ + hypervisor: hypervisor@78080000 { + compatible = "xen,xen"; + reg = <0x0 0x78080000 0x0 0x40000 0x0 0x40000000 0x0 0x7e00000>; + interrupts = ; + 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 for dom0: + * (XEN) BANK[0] 0x00000080000000-0x00000090000000 (256MB) + * + * Xen passes actual values for setup in domain device tree, but Zephyr + * is not capable to parse and handle it in runtime. + */ + ram: memory@80000000 { + device_type = "mmio-sram"; + reg = <0x00 0x80000000 0x00 DT_SIZE_M(256)>; + }; +}; diff --git a/snippets/xen_dom0/snippet.yml b/snippets/xen_dom0/snippet.yml index 84d13bf77c..501f24d2c0 100644 --- a/snippets/xen_dom0/snippet.yml +++ b/snippets/xen_dom0/snippet.yml @@ -13,3 +13,6 @@ boards: rcar_salvator_xs/r8a77961: append: EXTRA_DTC_OVERLAY_FILE: boards/rcar_salvator_xs.overlay + rcar_spider_s4/r8a779f0/a55: + append: + EXTRA_DTC_OVERLAY_FILE: boards/rcar_spider_s4_r8a779f0_a55.overlay diff --git a/snippets/xen_dom0/xen_dom0.conf b/snippets/xen_dom0/xen_dom0.conf index c5cb5d24aa..38e7ef1863 100644 --- a/snippets/xen_dom0/xen_dom0.conf +++ b/snippets/xen_dom0/xen_dom0.conf @@ -1 +1,2 @@ CONFIG_XEN_DOM0=y +CONFIG_UART_INTERRUPT_DRIVEN=n