/* 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=nor