1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2019 Intel Corporation <www.intel.com>
8 /include/ "skeleton.dtsi"
10 /include/ "tsc_timer.dtsi"
13 model = "slimbootloader x86 payload";
14 compatible = "slimbootloader,x86-payload";
17 stdout-path = &serial;
21 compatible = "intel,slimbootloader-uart";
25 compatible = "pci-x86";