2 CONFIG_SYS_TEXT_BASE=0x9D004000
3 CONFIG_SYS_MALLOC_F_LEN=0x600
4 CONFIG_SYS_MEMTEST_START=0x88000000
5 CONFIG_SYS_MEMTEST_END=0x88080000
9 CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
10 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
11 CONFIG_MIPS_BOOT_FDT=y
12 CONFIG_DISTRO_DEFAULTS=y
14 CONFIG_SYS_PROMPT="dask # "
15 # CONFIG_CMD_SAVEENV is not set
25 CONFIG_CMD_EXT4_WRITE=y
26 # CONFIG_ISO_PARTITION is not set
27 # CONFIG_EFI_PARTITION is not set
28 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
29 CONFIG_NET_RANDOM_ETHADDR=y
33 CONFIG_MMC_SDHCI_PIC32=y
39 # CONFIG_PINCTRL_FULL is not set
43 CONFIG_USB_MUSB_HOST=y
44 CONFIG_USB_MUSB_PIC32=y
46 CONFIG_CMD_DHRYSTONE=y