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 the right boot CPU */
9	chosen {
10		seL4,boot-cpu = <&{/cpus/cpu@0}>;
11		seL4,elfloader-devices =
12		    "serial2";
13		seL4,kernel-devices =
14		    "serial2",
15		    &{/soc/interrupt-controller@10481000},
16		    &{/soc/mct@101c0000},
17		    &{/timer};
18	};
19	/* The architecture timer on exynos5 depends on the MCT, but it is there. */
20	timer {
21		compatible = "arm,armv7-timer";
22		interrupts = <0x1 0xd 0xf08>, <0x1 0xe 0xf08>, <0x1 0xb 0xf08>, <0x1 0xa 0xf08>;
23		clock-frequency = <0x16e3600>;
24	};
25
26	/* Mainline Linux does not have these SPI nodes, but we want to include them. */
27	spi@12d20000 {
28		compatible = "samsung,exynos4210-spi";
29		reg = <0x12d20000 0x100>;
30	};
31
32	spi@12d30000 {
33		compatible = "samsung,exynos4210-spi";
34		reg = <0x12d30000 0x100>;
35	};
36
37	spi@12d40000 {
38		compatible = "samsung,exynos4210-spi";
39		reg = <0x12d40000 0x100>;
40	};
41
42	/* HACK: 0xe0000000..0xff000000 is the largest contiguous region
43	 * in the kernel window; we clamp to that and discard memory
44	 * after the ASID PD hole (0xff200000..0xfff00000). This is a
45	 * workaround for userspace tools (hardware_gen, elfloader, etc)
46	 * which are not yet aware of the memory hole. */
47	memory@40000000 {
48		reg = <0x60000000 0x1f000000>;
49	};
50
51	vm-memory@40000000 {
52		reg = <0x40000000 0x20000000>;
53	};
54};
55