- CONFIG_MICROBLAZE=y
- CONFIG_PLATFORM_GENERIC=y
- CONFIG_OPT_LIB_FUNCTION=y
- CONFIG_KERNEL_BASE_ADDR=0x50000000
- CONFIG_XILINX_MICROBLAZE0_FAMILY="virtex6"
- CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
- CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
- CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
- CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
- CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
- CONFIG_XILINX_MICROBLAZE0_USE_FPU=1
- CONFIG_XILINX_MICROBLAZE0_HW_VER="8.10.a"
- CONFIG_PCI_XILINX=y
- CONFIG_CMDLINE_BOOL=y
- CONFIG_CMDLINE_FORCE=y
- CONFIG_COMPAT_32BIT_TIME=y
|
