2 CONFIG_SYS_MALLOC_F_LEN=0x600
4 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
6 CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
7 CONFIG_DISTRO_DEFAULTS=y
9 CONFIG_SYS_PROMPT="dask # "
10 # CONFIG_CMD_SAVEENV is not set
15 # CONFIG_CMD_FLASH is not set
21 CONFIG_CMD_EXT4_WRITE=y
22 # CONFIG_ISO_PARTITION is not set
23 # CONFIG_EFI_PARTITION is not set
25 CONFIG_NET_RANDOM_ETHADDR=y
26 # CONFIG_BLK is not set
32 CONFIG_MMC_SDHCI_PIC32=y
36 # CONFIG_PINCTRL_FULL is not set
40 CONFIG_USB_MUSB_HOST=y
41 CONFIG_USB_MUSB_PIC32=y
44 CONFIG_USE_TINY_PRINTF=y
45 CONFIG_CMD_DHRYSTONE=y