1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7/ {
8	chosen {
9		seL4,elfloader-devices =
10		    "serial0",
11		    &{/psci};
12
13		seL4,kernel-devices =
14		    "serial0",
15		    &{/interrupt-controller@50041000},
16		    &{/timer};
17	};
18
19	pmu {
20		compatible = "arm,armv8-pmuv3";
21		interrupts = <0x00 0x90 0x04>,
22					 <0x00 0x91 0x04>,
23					 <0x00 0x92 0x04>,
24					 <0x00 0x93 0x04>;
25		interrupt-parent = <&{/interrupt-controller@50041000}>;
26	};
27
28	/*
29	 * The TegraBoot carveout memory regions start from 0xff03f000, so we
30	 * skip the 0xff000000 to 0xffffffff region. The carveout regions may change
31	 * if the TegraBoot version changes, so keep an eye on the booting process
32	 * if something strange happens.
33	 */
34	memory {
35		reg = <0x00 0x80000000 0x00 0x7f000000>,
36				<0x01 0x00000000 0x00 0x80000000>;
37	};
38};
39