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
8 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
13 CONFIG_SYS_LOAD_ADDR=0x88500000
15 CONFIG_SYS_PROMPT="dask # "
16 # CONFIG_CMD_SAVEENV is not set
26 CONFIG_CMD_EXT4_WRITE=y
27 # CONFIG_ISO_PARTITION is not set
28 # CONFIG_EFI_PARTITION is not set
29 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
30 CONFIG_NET_RANDOM_ETHADDR=y
34 CONFIG_MMC_SDHCI_PIC32=y
40 # CONFIG_PINCTRL_FULL is not set
43 CONFIG_USB_MUSB_HOST=y
44 CONFIG_USB_MUSB_PIC32=y
46 CONFIG_CMD_DHRYSTONE=y