arch/x86/dts/coreboot.dts

   1 // SPDX-License-Identifier: GPL-2.0+
   2 /*
   3  * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
   4  *
   5  * Generic coreboot payload device tree for x86 targets
   6  */
   7
   8 /dts-v1/;
   9
  10 /include/ "skeleton.dtsi"
  11 /include/ "keyboard.dtsi"
  12 /include/ "pcspkr.dtsi"
  13 /include/ "reset.dtsi"
  14 /include/ "rtc.dtsi"
  15
  16 #include "tsc_timer.dtsi"
  17
  18 / {
  19         model = "coreboot x86 payload";
  20         compatible = "coreboot,x86-payload";
  21
  22         aliases {
  23                 serial0 = &serial;
  24         };
  25
  26         config {
  27                 silent_console = <0>;
  28         };
  29
  30         chosen {
  31                 stdout-path = "/serial";
  32         };
  33
  34         pci {
  35                 compatible = "pci-x86";
  36                 bootph-all;
  37         };
  38
  39         serial: serial {
  40                 bootph-all;
  41                 compatible = "coreboot-serial";
  42         };
  43
  44         coreboot-fb {
  45                 bootph-some-ram;
  46                 compatible = "coreboot-fb";
  47         };
  48
  49         bootstd {
  50                 compatible = "u-boot,boot-std";
  51
  52                 theme {
  53                         font-size = <30>;
  54                         menu-inset = <3>;
  55                         menuitem-gap-y = <1>;
  56                 };
  57         };
  58
  59         sysinfo {
  60                 compatible = "coreboot,sysinfo";
  61         };
  62 };