1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2019 Intel Corporation <www.intel.com> 4 */ 5 6/dts-v1/; 7 8/include/ "skeleton.dtsi" 9/include/ "reset.dtsi" 10/include/ "tsc_timer.dtsi" 11 12/ { 13 model = "slimbootloader x86 payload"; 14 compatible = "slimbootloader,x86-payload"; 15 16 chosen { 17 stdout-path = &serial; 18 }; 19 20 serial: serial { 21 compatible = "intel,slimbootloader-uart"; 22 }; 23 24 pci { 25 compatible = "pci-x86"; 26 }; 27}; 28