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