if TARGET_PICO_IMX6UL config SYS_BOARD default "pico-imx6ul" config SYS_VENDOR default "technexion" config SYS_SOC default "mx6" config SYS_CONFIG_NAME default "pico-imx6ul" endif