0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003 * Hardkernel's Exynos4412 based ODROID-X2 board device tree source
0004 *
0005 * Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
0006 *
0007 * Device tree source file for Hardkernel's ODROID-X2 board which is based
0008 * on Samsung's Exynos4412 SoC.
0009 */
0010
0011 #include "exynos4412-odroidx.dts"
0012 #include "exynos4412-prime.dtsi"
0013
0014 / {
0015 model = "Hardkernel ODROID-X2 board based on Exynos4412";
0016 compatible = "hardkernel,odroid-x2", "samsung,exynos4412", "samsung,exynos4";
0017
0018 memory@40000000 {
0019 device_type = "memory";
0020 reg = <0x40000000 0x7FF00000>;
0021 };
0022 };