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