CONFIG_ENV_SIZE=0x4000
CONFIG_DM_GPIO=y
CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
-CONFIG_SYS_PROMPT="dask # "
CONFIG_SYS_MONITOR_LEN=196608
CONFIG_SYS_LOAD_ADDR=0x88500000
CONFIG_MACH_PIC32=y
CONFIG_BOOTCOMMAND="run distro_bootcmd || run legacy_bootcmd"
CONFIG_SYS_MALLOC_BOOTPARAMS=y
CONFIG_SYS_BOOTPARAMS_LEN=0x1000
+CONFIG_SYS_PROMPT="dask # "
CONFIG_SYS_PBSIZE=1048
# CONFIG_CMD_SAVEENV is not set
CONFIG_LOOPW=y