diff options
Diffstat (limited to 'configs/pic32mzdask_defconfig')
| -rw-r--r-- | configs/pic32mzdask_defconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/pic32mzdask_defconfig b/configs/pic32mzdask_defconfig index eba6cd5e07..750fefd8f7 100644 --- a/configs/pic32mzdask_defconfig +++ b/configs/pic32mzdask_defconfig @@ -30,11 +30,11 @@ CONFIG_DM_ETH=y CONFIG_PIC32_ETH=y CONFIG_PINCTRL=y # CONFIG_PINCTRL_FULL is not set -CONFIG_USE_PRIVATE_LIBGCC=y CONFIG_USB=y CONFIG_DM_USB=y CONFIG_USB_MUSB_HOST=y CONFIG_USB_MUSB_PIC32=y CONFIG_USB_STORAGE=y +CONFIG_USE_PRIVATE_LIBGCC=y CONFIG_USE_TINY_PRINTF=y CONFIG_CMD_DHRYSTONE=y |
