1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * BSC9131 RDB Device Tree Source
4 *
5 * Copyright 2011-2012 Freescale Semiconductor Inc.
6 */
7
8/include/ "bsc9131si-pre.dtsi"
9
10/ {
11	model = "fsl,bsc9131rdb";
12	compatible = "fsl,bsc9131rdb";
13
14	memory {
15		device_type = "memory";
16	};
17
18	board_ifc: ifc: ifc@ff71e000 {
19		/* NAND Flash on board */
20		ranges = <0x0 0x0 0x0 0xff800000 0x00004000>;
21		reg = <0x0 0xff71e000 0x0 0x2000>;
22	};
23
24	board_soc: soc: soc@ff700000 {
25		ranges = <0x0 0x0 0xff700000 0x100000>;
26	};
27};
28
29/include/ "bsc9131rdb.dtsi"
30/include/ "bsc9131si-post.dtsi"
31