1 2 if TARGET_PIC32MZDASK 3 4 config SYS_BOARD 5 default "pic32mzda" 6 7 config SYS_VENDOR 8 default "microchip" 9 10 config SYS_CONFIG_NAME 11 default "pic32mzdask" 12 13 config SYS_TEXT_BASE 14 default 0x9d004000 15 16 endif 17