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"
14 /include/ "tsc_timer.dtsi"
17 model = "EFI x86 Payload";
18 compatible = "efi,x86-payload";
29 stdout-path = "/serial";
33 compatible = "pci-x86";
38 compatible = "efi-fb";