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