1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3 * BSC9131 RDB Device Tree Source
4 *
5 * Copyright 2011-2012 Freescale Semiconductor Inc.
6 */
7
8 /include/ "bsc9131si-pre.dtsi"
9
10 / {
11 model = "fsl,bsc9131rdb";
12 compatible = "fsl,bsc9131rdb";
13
14 memory {
15 device_type = "memory";
16 };
17
18 board_ifc: ifc: memory-controller@ff71e000 {
19 /* NAND Flash on board */
20 ranges = <0x0 0x0 0x0 0xff800000 0x00004000>;
21 reg = <0x0 0xff71e000 0x0 0x2000>;
22 };
23
24 board_soc: soc: soc@ff700000 {
25 ranges = <0x0 0x0 0xff700000 0x100000>;
26 };
27 };
28
29 /include/ "bsc9131rdb.dtsi"
30 /include/ "bsc9131si-post.dtsi"
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.