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 };
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.