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