arch/x86/dts/efi-x86_app.dts

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright (c) 2015 Google, Inc
   4  */
   5
   6 /dts-v1/;
   7
   8 /include/ "skeleton.dtsi"
   9 /include/ "tsc_timer.dtsi"
  10
  11 / {
  12         model = "EFI x86 Application";
  13         compatible = "efi,x86-app";
  14
  15         chosen {
  16                 stdout-path = &serial;
  17         };
  18
  19         tsc-timer {
  20                 clock-frequency = <1000000000>;
  21         };
  22
  23         serial: serial {
  24                 compatible = "efi,uart";
  25         };
  26
  27         reset {
  28                 compatible = "efi,reset";
  29                 u-boot,dm-pre-reloc;
  30         };
  31 };