2 CONFIG_SYS_MALLOC_F_LEN=0x600
4 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
6 CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
9 CONFIG_SYS_PROMPT="dask # "
10 # CONFIG_CMD_IMLS is not set
11 # CONFIG_CMD_SAVEENV is not set
15 # CONFIG_CMD_FLASH is not set
18 # CONFIG_CMD_FPGA is not set
27 CONFIG_CMD_EXT4_WRITE=y
29 CONFIG_CMD_FS_GENERIC=y
31 CONFIG_NET_RANDOM_ETHADDR=y
32 # CONFIG_BLK is not set
40 # CONFIG_PINCTRL_FULL is not set
44 CONFIG_USB_MUSB_HOST=y
45 CONFIG_USB_MUSB_PIC32=y
47 CONFIG_USE_TINY_PRINTF=y
48 CONFIG_CMD_DHRYSTONE=y