1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * Hardkernel's Exynos4412 based ODROID-X2 board device tree source
 4 *
 5 * Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
 6 *
 7 * Device tree source file for Hardkernel's ODROID-X2 board which is based
 8 * on Samsung's Exynos4412 SoC.
 9 */
10
11#include "exynos4412-odroidx.dts"
12#include "exynos4412-prime.dtsi"
13
14/ {
15	model = "Hardkernel ODROID-X2 board based on Exynos4412";
16	compatible = "hardkernel,odroid-x2", "samsung,exynos4412", "samsung,exynos4";
17
18	memory@40000000 {
19		device_type = "memory";
20		reg = <0x40000000 0x7FF00000>;
21	};
22};