1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7/ {
8
9	soc {
10        timer@a00200 {
11            compatible = "arm,cortex-a9-global-timer";
12            reg = < 0xa00200 0x300 >;
13            interrupts = < 0x01 0x0b 0xf01 >;
14            interrupt-parent = < 0x16 >;
15            clocks = < 0x04 0x0f >;
16        };
17    };
18
19    chosen {
20        seL4,kernel-devices =
21            "serial1",
22            &{/soc/interrupt-controller@a01000},
23            &{/soc/l2-cache@a02000},
24            &{/soc/timer@a00200};
25    };
26};
27