1// SPDX-License-Identifier: GPL-2.0 2/* 3 * Device Tree Source extras for U-Boot for the Salvator-X board 4 * 5 * Copyright (C) 2018 Marek Vasut <marek.vasut@gmail.com> 6 */ 7 8#include "r8a7795-salvator-x.dts" 9#include "r8a7795-u-boot.dtsi" 10