1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7/ {
8	/* Pick serial console */
9	chosen {
10		stdout-path = "serial2:115200n8";
11		seL4,elfloader-devices =
12		    "serial2";
13		seL4,kernel-devices =
14		    "serial2",
15		    &{/soc/interrupt-controller@10481000},
16		    &{/soc/mct@101c0000},
17		    &{/soc/timer};
18	};
19
20	/* HACK: 0xe0000000..0xff000000 is the largest contiguous region
21	 * in the kernel window; we clamp to that and discard memory
22	 * after the ASID PD hole (0xff200000..0xfff00000). This is a
23	 * workaround for userspace tools (hardware_gen, elfloader, etc)
24	 * which are not yet aware of the memory hole. */
25	memory@40000000 {
26		reg = <0x60000000 0x1f000000>;
27	};
28
29	vm-memory@40000000 {
30		reg = <0x40000000 0x20000000>;
31	};
32
33};
34