xref: /openbsd-src/sys/arch/arm64/stand/efiboot/acpi.dts (revision 9a1480b112918db6c80582fd68f521d6dc2c21ec)
1/dts-v1/;
2
3/ {
4	model = "ACPI";
5	compatible = "openbsd,acpi";
6	interrupt-parent = <&gic>;
7	#address-cells = <2>;
8	#size-cells = <2>;
9
10	chosen {
11		stdout-path = "serial0:115200n8";
12	};
13
14	aliases {
15		serial0 = &uart0;
16	};
17
18	cpus {
19		#address-cells = <2>;
20		#size-cells = <0>;
21	};
22
23	psci {
24		compatible = "arm,psci-1.0";
25		method = "smc";
26		status = "disabled";
27	};
28
29	timer {
30		compatible = "arm,armv8-timer";
31		interrupts = <0 0 0>, <0 0 0>, <0 0 0>, <0 0 0>;
32		status = "disabled";
33	};
34
35	gic: interrupt-controller@0 {
36		compatible = "openbsd,gic";
37		#interrupt-cells = <3>;
38		#address-cells = <2>;
39		#size-cells = <2>;
40		interrupt-controller;
41		ranges;
42		reg = <0x0 0x0 0x0 0x0>, <0x0 0x0 0x0 0x0>;
43		status = "disabled";
44	};
45
46	uart0: serial@0 {
47		compatible = "openbsd,uart";
48		reg = <0x0 0x0 0x0 0x0>;
49		status = "disabled";
50	};
51
52	acpi@0 {
53		compatible = "openbsd,acpi-5.0";
54		reg = <0x0 0x0 0x0 0x0>;
55	};
56};
57