// SPDX-License-Identifier: GPL-2.0
|
/*
|
* Hardkernel's Exynos4412 based ODROID-X2 board device tree source
|
*
|
* Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
|
*
|
* Device tree source file for Hardkernel's ODROID-X2 board which is based
|
* on Samsung's Exynos4412 SoC.
|
*/
|
|
#include "exynos4412-odroidx.dts"
|
#include "exynos4412-prime.dtsi"
|
|
/ {
|
model = "Hardkernel ODROID-X2 board based on Exynos4412";
|
compatible = "hardkernel,odroid-x2", "samsung,exynos4412", "samsung,exynos4";
|
|
memory@40000000 {
|
device_type = "memory";
|
reg = <0x40000000 0x7FF00000>;
|
};
|
};
|
