2 * BSC9131 RDB Device Tree Source
4 * Copyright 2011-2012 Freescale Semiconductor Inc.
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License as published by the
8 * Free Software Foundation; either version 2 of the License, or (at your
9 * option) any later version.
12 /include/ "bsc9131si-pre.dtsi"
15 model = "fsl,bsc9131rdb";
16 compatible = "fsl,bsc9131rdb";
19 device_type = "memory";
22 board_ifc: ifc: ifc@ff71e000 {
23 /* NAND Flash on board */
24 ranges = <0x0 0x0 0x0 0xff800000 0x00004000>;
25 reg = <0x0 0xff71e000 0x0 0x2000>;
28 board_soc: soc: soc@ff700000 {
29 ranges = <0x0 0x0 0xff700000 0x100000>;
33 /include/ "bsc9131rdb.dtsi"
34 /include/ "bsc9131si-post.dtsi"