1234567891011121314151617181920212223242526272829303132333435363738394041 |
- // SPDX-License-Identifier: GPL-2.0+
- /*
- * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
- *
- * Generic EFI payload device tree for x86 targets
- */
- /dts-v1/;
- /include/ "skeleton.dtsi"
- /include/ "serial.dtsi"
- /include/ "keyboard.dtsi"
- /include/ "reset.dtsi"
- /include/ "rtc.dtsi"
- /include/ "tsc_timer.dtsi"
- / {
- model = "EFI x86 Payload";
- compatible = "efi,x86-payload";
- aliases {
- serial0 = &serial;
- };
- config {
- silent_console = <0>;
- };
- chosen {
- stdout-path = "/serial";
- };
- pci {
- compatible = "pci-x86";
- u-boot,dm-pre-reloc;
- };
- efi-fb {
- compatible = "efi-fb";
- };
- };
|