/* SPDX-License-Identifier: GPL-2.0+ */ /* environment for imxrt1050-evk */ #ifdef CONFIG_VIDEO stdin=serial stdout=serial,vidconsole stderr=serial,vidconsole #endif fdt_addr_r=0x80800000 kernel_addr_r=0x80000000 boot_targets=mmc