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