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}; 23