config ADK_TARGET_SYSTEM_MICROCHIP_PIC32
	bool "Microchip PIC32"
	select ADK_TARGET_LITTLE_ENDIAN
	select ADK_TARGET_CPU_MIPS_MIPS32R2
	select ADK_TARGET_WITH_SERIAL
	select ADK_TARGET_WITH_NET
	select ADK_TARGET_WITH_NETDEVICE
	select ADK_TARGET_WITH_BLOCK
	select ADK_TARGET_KERNEL_UIMAGEBIN
	select ADK_PACKAGE_U_BOOT
	select ADK_HOST_BUILD_U_BOOT
	help
	  Support for Microchip PIC32 developer board PIC32MZ.