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#include "exynos4.dtsi"
10
11/ {
12	model = "Samsung SMDKV310 on Exynos4210";
13	compatible = "samsung,smdkv310", "samsung,exynos4210";
14
15	aliases {
16		serial0 = "/serial@13800000";
17		console = "/serial@13820000";
18	};
19
20};
21