Quelle  bsc9131rdb.dts   Sprache: unbekannt

// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * BSC9131 RDB Device Tree Source
 *
 * Copyright 2011-2012 Freescale Semiconductor Inc.
 */

/include/ "bsc9131si-pre.dtsi"

/ {
 model = "fsl,bsc9131rdb";
 compatible = "fsl,bsc9131rdb";

 memory {
  device_type = "memory";
 };

 board_ifc: ifc: memory-controller@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/ "bsc9131si-post.dtsi"