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