2 CONFIG_SYS_TEXT_BASE=0x9D004000
3 CONFIG_SYS_MALLOC_LEN=0x40000
4 CONFIG_SYS_MALLOC_F_LEN=0x600
5 CONFIG_SYS_MEMTEST_START=0x88000000
6 CONFIG_SYS_MEMTEST_END=0x88080000
9 CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
11 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
12 CONFIG_MIPS_BOOT_FDT=y
13 CONFIG_DISTRO_DEFAULTS=y
14 CONFIG_SYS_LOAD_ADDR=0x88500000
17 CONFIG_BOOTCOMMAND="run distro_bootcmd || run legacy_bootcmd"
18 CONFIG_SYS_PROMPT="dask # "
19 # CONFIG_CMD_SAVEENV is not set
29 CONFIG_CMD_EXT4_WRITE=y
30 # CONFIG_ISO_PARTITION is not set
31 # CONFIG_EFI_PARTITION is not set
32 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
33 CONFIG_NET_RANDOM_ETHADDR=y
37 CONFIG_MMC_SDHCI_PIC32=y
43 # CONFIG_PINCTRL_FULL is not set
46 CONFIG_USB_MUSB_HOST=y
47 CONFIG_USB_MUSB_PIC32=y
49 CONFIG_CMD_DHRYSTONE=y