1if TARGET_VEXPRESS_CA9X4
2
3config SYS_BOARD
4	default "vexpress"
5
6config SYS_VENDOR
7	default "armltd"
8
9config SYS_CONFIG_NAME
10	default "vexpress_ca9x4"
11
12endif
13