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