1// SPDX-License-Identifier: GPL-2.0 2/* 3 * Marvell DB-88F6281-BP Development Board Setup 4 * 5 * Saeed Bishara <saeed@marvell.com> 6 * Thomas Petazzoni <thomas.petazzoni@free-electrons.com> 7 * 8 */ 9 10/dts-v1/; 11 12#include "kirkwood-db.dtsi" 13#include "kirkwood-6281.dtsi" 14 15/ { 16 model = "Marvell DB-88F6281-BP Development Board"; 17 compatible = "marvell,db-88f6281-bp", "marvell,kirkwood-88f6281", "marvell,kirkwood"; 18}; 19 20&pciec { 21 status = "okay"; 22}; 23 24&pcie0 { 25 status = "okay"; 26}; 27