1/*
2 * Copyright (c) 2023 EPAM Systems
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7/delete-node/ &sram0;
8
9&uart0 {
10	/* Xen consoleio will be used */
11	status = "disabled";
12};
13
14/ {
15	/*
16	 * This node may differs on different setups, please check
17	 * following line in Xen boot log to set it right:
18	 * (XEN) Grant table range: 0x00000040200000-0x00000040240000
19	 *
20	 * Xen passes actual values for setup in domain device tree, but Zephyr
21	 * is not capable to parse and handle it in runtime.
22	 */
23	hypervisor: hypervisor@40200000 {
24		compatible = "xen,xen";
25		reg = <0x0 0x40200000 0x0 0x40000>;
26		interrupts = <GIC_PPI 0x0 IRQ_TYPE_EDGE IRQ_DEFAULT_PRIORITY>;
27		interrupt-parent = <&gic>;
28		status = "okay";
29	};
30
31	/*
32	 * This node may differs on different setups, because Xen picks
33	 * region for Domain-0 for every specific configuration. You can
34	 * start Xen for your platform and check following log:
35	 * (XEN) Allocating 1:1 mappings for dom0:
36	 * (XEN) BANK[0] 0x00000058000000-0x00000060000000 (128MB)
37	 *
38	 * Xen passes actual values for setup in domain device tree, but Zephyr
39	 * is not capable to parse and handle it in runtime.
40	 */
41	soc {
42		sram0: memory@58000000 {
43			device_type = "mmio-sram";
44			reg = <0x00 0x58000000 0x00 DT_SIZE_M(128)>;
45		};
46	};
47};
48