diff --git a/configs/pic32mz-starterkit/nsh/defconfig b/configs/pic32mz-starterkit/nsh/defconfig index 0ea714f2c48..73d288a5802 100644 --- a/configs/pic32mz-starterkit/nsh/defconfig +++ b/configs/pic32mz-starterkit/nsh/defconfig @@ -73,6 +73,9 @@ CONFIG_ARCH_CHIP="pic32mz" # CONFIG_ARCH_CHIP_PIC32MX is not set CONFIG_ARCH_CHIP_PIC32MZ=y CONFIG_ARCH_MIPS32=y +# CONFIG_ARCH_MIPS_24KC is not set +CONFIG_ARCH_MIPS_M14K=y +CONFIG_ARCH_MIPS_MICROMIPS=y # # MIPS32 Configuration Options