/dts-v1/;
/include/ "skeleton.dtsi"
-/include/ "serial.dtsi"
/include/ "keyboard.dtsi"
+/include/ "pcspkr.dtsi"
/include/ "reset.dtsi"
/include/ "rtc.dtsi"
-/include/ "tsc_timer.dtsi"
+
+#include "tsc_timer.dtsi"
/ {
model = "coreboot x86 payload";
pci {
compatible = "pci-x86";
- u-boot,dm-pre-reloc;
+ bootph-all;
+ };
+
+ serial: serial {
+ bootph-all;
+ compatible = "coreboot-serial";
};
coreboot-fb {
+ bootph-some-ram;
compatible = "coreboot-fb";
};
+
+ bootstd {
+ compatible = "u-boot,boot-std";
+
+ theme {
+ font-size = <30>;
+ menu-inset = <3>;
+ menuitem-gap-y = <1>;
+ };
+
+ cedit-theme {
+ font-size = <30>;
+ menu-inset = <3>;
+ menuitem-gap-y = <1>;
+ menu-title-margin-x = <30>;
+ };
+ };
+
+ sysinfo {
+ compatible = "coreboot,sysinfo";
+ };
};