1*dd84058dSMasahiro Yamadaif TARGET_MICROBLAZE_GENERIC
2*dd84058dSMasahiro Yamada
3*dd84058dSMasahiro Yamadaconfig SYS_BOARD
4*dd84058dSMasahiro Yamada	string
5*dd84058dSMasahiro Yamada	default "microblaze-generic"
6*dd84058dSMasahiro Yamada
7*dd84058dSMasahiro Yamadaconfig SYS_VENDOR
8*dd84058dSMasahiro Yamada	string
9*dd84058dSMasahiro Yamada	default "xilinx"
10*dd84058dSMasahiro Yamada
11*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME
12*dd84058dSMasahiro Yamada	string
13*dd84058dSMasahiro Yamada	default "microblaze-generic"
14*dd84058dSMasahiro Yamada
15*dd84058dSMasahiro Yamadaendif
16