1CONFIG_MIPS=y
2CONFIG_SYS_TEXT_BASE=0x9D004000
3CONFIG_SYS_MALLOC_F_LEN=0x600
4CONFIG_SYS_MEMTEST_START=0x88000000
5CONFIG_SYS_MEMTEST_END=0x88080000
6CONFIG_ENV_SIZE=0x4000
7CONFIG_DM_GPIO=y
8CONFIG_MACH_PIC32=y
9CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"
10# CONFIG_MIPS_BOOT_ENV_LEGACY is not set
11CONFIG_MIPS_BOOT_FDT=y
12CONFIG_DISTRO_DEFAULTS=y
13CONFIG_BOOTDELAY=5
14CONFIG_SYS_PROMPT="dask # "
15# CONFIG_CMD_SAVEENV is not set
16CONFIG_LOOPW=y
17CONFIG_CMD_MEMINFO=y
18CONFIG_CMD_MEMTEST=y
19CONFIG_CMD_CLK=y
20CONFIG_CMD_GPIO=y
21CONFIG_CMD_MMC=y
22CONFIG_CMD_USB=y
23CONFIG_CMD_RARP=y
24CONFIG_CMD_TIME=y
25CONFIG_CMD_EXT4_WRITE=y
26# CONFIG_ISO_PARTITION is not set
27# CONFIG_EFI_PARTITION is not set
28CONFIG_SYS_RELOC_GD_ENV_ADDR=y
29CONFIG_NET_RANDOM_ETHADDR=y
30CONFIG_CLK=y
31CONFIG_MMC=y
32CONFIG_DM_MMC=y
33CONFIG_MMC_SDHCI=y
34CONFIG_MMC_SDHCI_PIC32=y
35CONFIG_PHY_SMSC=y
36CONFIG_DM_ETH=y
37CONFIG_MII=y
38CONFIG_PIC32_ETH=y
39CONFIG_PINCTRL=y
40# CONFIG_PINCTRL_FULL is not set
41CONFIG_DM_SERIAL=y
42CONFIG_USB=y
43CONFIG_DM_USB=y
44CONFIG_USB_MUSB_HOST=y
45CONFIG_USB_MUSB_PIC32=y
46CONFIG_FAT_WRITE=y
47CONFIG_CMD_DHRYSTONE=y
48