efi-x86_payload.dts 598 B

123456789101112131415161718192021222324252627282930313233343536373839404142
  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. /dts-v1/;
  8. /include/ "skeleton.dtsi"
  9. /include/ "serial.dtsi"
  10. /include/ "keyboard.dtsi"
  11. /include/ "reset.dtsi"
  12. /include/ "rtc.dtsi"
  13. #include "tsc_timer.dtsi"
  14. / {
  15. model = "EFI x86 Payload";
  16. compatible = "efi,x86-payload";
  17. aliases {
  18. serial0 = &serial;
  19. };
  20. config {
  21. silent_console = <0>;
  22. };
  23. chosen {
  24. stdout-path = "/serial";
  25. };
  26. pci {
  27. compatible = "pci-x86";
  28. u-boot,dm-pre-reloc;
  29. };
  30. efi-fb {
  31. compatible = "efi-fb";
  32. };
  33. };