1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
5 * Generic EFI payload device tree for x86 targets
10 /include/ "skeleton.dtsi"
11 /include/ "serial.dtsi"
12 /include/ "keyboard.dtsi"
13 /include/ "reset.dtsi"
15 /include/ "tsc_timer.dtsi"
18 model = "EFI x86 Payload";
19 compatible = "efi,x86-payload";
30 stdout-path = "/serial";
34 clock-frequency = <1000000000>;
38 compatible = "pci-x86";
43 compatible = "efi-fb";