if TARGET_PIC32MZDASK
config SYS_BOARD
default "pic32mzda"
config SYS_VENDOR
default "microchip"
config SYS_CONFIG_NAME
default "pic32mzdask"
config SYS_TEXT_BASE
default 0x9d004000
endif