CONFIG_MIPS=y

  CONFIG_SYS_TEXT_BASE=0x9D004000

  CONFIG_SYS_MALLOC_F_LEN=0x600

  CONFIG_MACH_PIC32=y
  # CONFIG_MIPS_BOOT_ENV_LEGACY is not set
  CONFIG_MIPS_BOOT_FDT=y
  CONFIG_DEFAULT_DEVICE_TREE="pic32mzda_sk"

  CONFIG_DISTRO_DEFAULTS=y

  CONFIG_BOOTDELAY=5

  CONFIG_SYS_PROMPT="dask # "

  # CONFIG_CMD_SAVEENV is not set
  CONFIG_LOOPW=y

  CONFIG_CMD_MEMINFO=y

  CONFIG_CMD_MEMTEST=y

  CONFIG_CMD_CLK=y

  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_GPIO=y

  CONFIG_CMD_MMC=y
  CONFIG_CMD_USB=y

  CONFIG_CMD_RARP=y

  CONFIG_CMD_TIME=y

  CONFIG_CMD_EXT4_WRITE=y

  # CONFIG_ISO_PARTITION is not set

  # CONFIG_EFI_PARTITION is not set

  CONFIG_OF_EMBED=y

  CONFIG_NET_RANDOM_ETHADDR=y

  # CONFIG_BLK is not set

  CONFIG_CLK=y

  CONFIG_DM_GPIO=y

  CONFIG_MMC=y

  CONFIG_DM_MMC=y

  CONFIG_MMC_SDHCI=y

  CONFIG_MMC_SDHCI_PIC32=y

  CONFIG_DM_ETH=y
  CONFIG_PIC32_ETH=y

  CONFIG_PINCTRL=y
  # CONFIG_PINCTRL_FULL is not set

  CONFIG_DM_SERIAL=y

  CONFIG_USB=y
  CONFIG_DM_USB=y
  CONFIG_USB_MUSB_HOST=y
  CONFIG_USB_MUSB_PIC32=y
  CONFIG_USB_STORAGE=y

  CONFIG_FAT_WRITE=y

  CONFIG_USE_TINY_PRINTF=y

  CONFIG_CMD_DHRYSTONE=y