1*dd84058dSMasahiro Yamadaif TARGET_VEXPRESS_CA15_TC2 2*dd84058dSMasahiro Yamada 3*dd84058dSMasahiro Yamadaconfig SYS_BOARD 4*dd84058dSMasahiro Yamada default "vexpress" 5*dd84058dSMasahiro Yamada 6*dd84058dSMasahiro Yamadaconfig SYS_VENDOR 7*dd84058dSMasahiro Yamada default "armltd" 8*dd84058dSMasahiro Yamada 9*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME 10*dd84058dSMasahiro Yamada default "vexpress_ca15_tc2" 11*dd84058dSMasahiro Yamada 12*dd84058dSMasahiro Yamadaendif 13*dd84058dSMasahiro Yamada 14*dd84058dSMasahiro Yamadaif TARGET_VEXPRESS_CA5X2 15*dd84058dSMasahiro Yamada 16*dd84058dSMasahiro Yamadaconfig SYS_BOARD 17*dd84058dSMasahiro Yamada default "vexpress" 18*dd84058dSMasahiro Yamada 19*dd84058dSMasahiro Yamadaconfig SYS_VENDOR 20*dd84058dSMasahiro Yamada default "armltd" 21*dd84058dSMasahiro Yamada 22*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME 23*dd84058dSMasahiro Yamada default "vexpress_ca5x2" 24*dd84058dSMasahiro Yamada 25*dd84058dSMasahiro Yamadaendif 26*dd84058dSMasahiro Yamada 27*dd84058dSMasahiro Yamadaif TARGET_VEXPRESS_CA9X4 28*dd84058dSMasahiro Yamada 29*dd84058dSMasahiro Yamadaconfig SYS_BOARD 30*dd84058dSMasahiro Yamada default "vexpress" 31*dd84058dSMasahiro Yamada 32*dd84058dSMasahiro Yamadaconfig SYS_VENDOR 33*dd84058dSMasahiro Yamada default "armltd" 34*dd84058dSMasahiro Yamada 35*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME 36*dd84058dSMasahiro Yamada default "vexpress_ca9x4" 37*dd84058dSMasahiro Yamada 38*dd84058dSMasahiro Yamadaendif 39