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