1 // SPDX-License-Identifier: GPL-2.0+
3 * Samsung's Exynos4210-based SMDKV310 board device tree source
5 * Copyright (c) 2014 Google, Inc
9 #include "exynos4.dtsi"
12 model = "Samsung SMDKV310 on Exynos4210";
13 compatible = "samsung,smdkv310", "samsung,exynos4210";
16 serial0 = "/serial@13800000";
17 console = "/serial@13820000";