0001 // SPDX-License-Identifier: GPL-2.0-or-later
0002 /*
0003 * BSC9131 RDB Device Tree Source
0004 *
0005 * Copyright 2011-2012 Freescale Semiconductor Inc.
0006 */
0007
0008 /include/ "bsc9131si-pre.dtsi"
0009
0010 / {
0011 model = "fsl,bsc9131rdb";
0012 compatible = "fsl,bsc9131rdb";
0013
0014 memory {
0015 device_type = "memory";
0016 };
0017
0018 board_ifc: ifc: ifc@ff71e000 {
0019 /* NAND Flash on board */
0020 ranges = <0x0 0x0 0x0 0xff800000 0x00004000>;
0021 reg = <0x0 0xff71e000 0x0 0x2000>;
0022 };
0023
0024 board_soc: soc: soc@ff700000 {
0025 ranges = <0x0 0x0 0xff700000 0x100000>;
0026 };
0027 };
0028
0029 /include/ "bsc9131rdb.dtsi"
0030 /include/ "bsc9131si-post.dtsi"
