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