// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* Copyright (C) 2019 Intel Corporation <www.intel.com> | |
*/ | |
/dts-v1/; | |
/include/ "skeleton.dtsi" | |
/include/ "reset.dtsi" | |
#include "tsc_timer.dtsi" | |
/ { | |
model = "slimbootloader x86 payload"; | |
compatible = "slimbootloader,x86-payload"; | |
chosen { | |
stdout-path = &serial; | |
}; | |
serial: serial { | |
compatible = "intel,slimbootloader-uart"; | |
}; | |
pci { | |
compatible = "pci-x86"; | |
}; | |
}; |