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