2 CONFIG_SYS_TEXT_BASE=0x9D004000
3 CONFIG_SYS_MALLOC_LEN=0x40000
4 CONFIG_SYS_MALLOC_F_LEN=0x600
7 CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
9 # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
10 CONFIG_MIPS_BOOT_FDT=y
11 CONFIG_SYS_MEMTEST_START=0x88000000
12 CONFIG_SYS_MEMTEST_END=0x88080000
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
27 CONFIG_BOOTP_BOOTFILESIZE=y
30 CONFIG_CMD_EXT4_WRITE=y
31 # CONFIG_ISO_PARTITION is not set
32 # CONFIG_EFI_PARTITION is not set
33 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
34 CONFIG_ARP_TIMEOUT=500
35 CONFIG_NET_RETRY_COUNT=20
36 CONFIG_NET_RANDOM_ETHADDR=y
37 CONFIG_SYS_RX_ETH_BUFFER=8
41 CONFIG_MMC_SDHCI_PIC32=y
47 # CONFIG_PINCTRL_FULL is not set
50 CONFIG_USB_MUSB_HOST=y
51 CONFIG_USB_MUSB_PIC32=y
53 CONFIG_CMD_DHRYSTONE=y