1// SPDX-License-Identifier: GPL-2.0-or-later
 2/*
 3 * Copyright (c) 2015 HiSilicon Technologies Co., Ltd.
 4 */
 5
 6/dts-v1/;
 7#include "hi3519.dtsi"
 8
 9/ {
10	model = "HiSilicon HI3519 DEMO Board";
11	compatible = "hisilicon,hi3519";
12
13	aliases {
14		serial0 = &uart0;
15	};
16
17	memory@80000000 {
18		device_type = "memory";
19		reg = <0x80000000 0x40000000>;
20	};
21};
22
23&uart0 {
24	status = "okay";
25};
26
27&dual_timer0 {
28	status = "okay";
29};