1/* 2 * Copyright (c) 2017 Fuzhou Rockchip Electronics Co., Ltd 3 * 4 * SPDX-License-Identifier: (GPL-2.0+ OR MIT) 5 */ 6 7/dts-v1/; 8 9#include "rk3308.dtsi" 10 11/ { 12 model = "Rockchip RK3308 FPGA Platform"; 13 compatible = "rockchip,rk3308-fpga", "rockchip,rk3308"; 14 15 chosen { 16 bootargs = "earlycon=uart8250,mmio32,0xff0b0000 console=ttyFIQ0 init=/init initrd=0x9000000,0x18bfc0"; 17 }; 18 19 memory@200000 { 20 device_type = "memory"; 21 reg = <0x0 0x00200000 0x0 0x0FE00000>; 22 }; 23}; 24 25&fiq_debugger { 26 rockchip,serial-id = <1>; 27 rockchip,irq-mode-enable = <1>; 28 status = "ok"; 29}; 30 31&cpu1 { 32 /delete-property/enable-method; 33}; 34 35&cpu2 { 36 /delete-property/enable-method; 37}; 38 39&cpu3 { 40 /delete-property/enable-method; 41}; 42 43&emmc { 44 cap-mmc-highspeed; 45 mmc-hs200-1_8v; 46 no-sdio; 47 no-sd; 48 non-removable; 49 num-slots = <1>; 50 status = "okay"; 51}; 52