x86/mm/pat: Don't report PAT on CPUs that don't support it
[linux/fpc-iii.git] / arch / arm / boot / dts / exynos4412-odroidx2.dts
blobd867b2ee95ca216697aa331cb110aebb4b11100a
1 /*
2  * Hardkernel's Exynos4412 based ODROID-X2 board device tree source
3  *
4  * Copyright (c) 2012 Dongjin Kim <tobetter@gmail.com>
5  *
6  * Device tree source file for Hardkernel's ODROID-X2 board which is based
7  * on Samsung's Exynos4412 SoC.
8  *
9  * This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License version 2 as
11  * published by the Free Software Foundation.
14 #include "exynos4412-odroidx.dts"
15 #include "exynos4412-prime.dtsi"
17 / {
18         model = "Hardkernel ODROID-X2 board based on Exynos4412";
19         compatible = "hardkernel,odroid-x2", "samsung,exynos4412", "samsung,exynos4";
21         memory@40000000 {
22                 device_type = "memory";
23                 reg = <0x40000000 0x7FF00000>;
24         };