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