1// SPDX-License-Identifier: (GPL-2.0+ OR MIT) 2/* 3 * Copyright (c) 2022 Rockchip Electronics Co., Ltd. 4 * 5 */ 6 7#include "rk3528-evb1-ddr4-v10.dtsi" 8#include "rk3528-linux.dtsi" 9 10/ { 11 chosen: chosen { 12 bootargs = "earlycon=uart8250,mmio32,0xff9f0000 console=ttyFIQ0 root=PARTUUID=614e0000-0000 rw rootwait"; 13 }; 14}; 15 16&sdmmc { 17 status = "okay"; 18}; 19