if TARGET_PIC32MZDASK

config SYS_BOARD
	default "pic32mzda"

config SYS_VENDOR
	default "microchip"

config SYS_CONFIG_NAME
	default "pic32mzdask"

endif