CONFIG_MIPS=y
CONFIG_MACH_PIC32=y
CONFIG_PIC32MZDA=y
CONFIG_DTB_PIC32_MZDA_SK=y
CONFIG_BUILTIN_DTB_NAME="pic32mzda_sk"
CONFIG_BUILTIN_DTB=y
CONFIG_MIPS_NO_APPENDED_DTB=y
CONFIG_CPU_MIPSR2=y
CONFIG_CMDLINE_BOOL=y
CONFIG_SERIAL_PIC32=y
CONFIG_SERIAL_PIC32_CONSOLE=y
CONFIG_SERIAL_EARLYCON=y
