0001 // SPDX-License-Identifier: GPL-2.0-or-later
0002 /*
0003 * Copyright (c) 2015 HiSilicon Technologies Co., Ltd.
0004 */
0005
0006 /dts-v1/;
0007 #include "hi3519.dtsi"
0008
0009 / {
0010 model = "HiSilicon HI3519 DEMO Board";
0011 compatible = "hisilicon,hi3519";
0012
0013 aliases {
0014 serial0 = &uart0;
0015 };
0016
0017 memory@80000000 {
0018 device_type = "memory";
0019 reg = <0x80000000 0x40000000>;
0020 };
0021 };
0022
0023 &uart0 {
0024 status = "okay";
0025 };
0026
0027 &dual_timer0 {
0028 status = "okay";
0029 };