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