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
13endif
14