5 CONFIG_XILINX_MICROBLAZE0_FAMILY="spartan3adsp"
6 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
7 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
8 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
9 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1
16 CONFIG_XILINX_EMACLITE=y
17 CONFIG_SERIAL_UARTLITE=y
18 CONFIG_SERIAL_UARTLITE_CONSOLE=y
19 # CONFIG_VGA_CONSOLE is not set