arch/x86/dts/efi-x86_payload.dts

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
   4  *
   5  * Generic EFI payload device tree for x86 targets
   6  */
   7
   8 /dts-v1/;
   9
  10 /include/ "skeleton.dtsi"
  11 /include/ "serial.dtsi"
  12 /include/ "keyboard.dtsi"
  13 /include/ "reset.dtsi"
  14 /include/ "rtc.dtsi"
  15 /include/ "tsc_timer.dtsi"
  16
  17 / {
  18         model = "EFI x86 Payload";
  19         compatible = "efi,x86-payload";
  20
  21         aliases {
  22                 serial0 = &serial;
  23         };
  24
  25         config {
  26                 silent_console = <0>;
  27         };
  28
  29         chosen {
  30                 stdout-path = "/serial";
  31         };
  32
  33         tsc-timer {
  34                 clock-frequency = <1000000000>;
  35         };
  36
  37         pci {
  38                 compatible = "pci-x86";
  39                 u-boot,dm-pre-reloc;
  40         };
  41
  42         efi-fb {
  43                 compatible = "efi-fb";
  44         };
  45 };