1/*
2 * Samsung's Exynos4210-based SMDKV310 board device tree source
3 *
4 * Copyright (c) 2014 Google, Inc
5 *
6 * SPDX-License-Identifier:	GPL-2.0+
7 */
8
9/dts-v1/;
10
11#include "skeleton.dtsi"
12#include "s5pc100-pinctrl.dtsi"
13
14/ {
15	model = "Samsung SMDKC100 based on S5PC100";
16	compatible = "samsung,smdkc100", "samsung,s5pc100";
17
18	aliases {
19		serial0 = "/serial@ec000000";
20		console = "/serial@ec000000";
21		pinctrl0 = &pinctrl0;
22	};
23
24	pinctrl0: pinctrl@e0300000 {
25		compatible = "samsung,s5pc100-pinctrl";
26		reg = <0xe0200000 0x1000>;
27	};
28
29	serial@ec000000 {
30		compatible = "samsung,exynos4210-uart";
31		reg = <0xec000000 0x100>;
32		interrupts = <0 51 0>;
33		id = <0>;
34	};
35
36};
37