6 CONFIG_SYSFS_DEPRECATED=y
7 CONFIG_SYSFS_DEPRECATED_V2=y
8 # CONFIG_BASE_FULL is not set
12 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
13 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
14 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
15 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
16 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
17 CONFIG_XILINX_MICROBLAZE0_USE_FPU=2
20 CONFIG_CMDLINE_FORCE=y
24 CONFIG_MODULE_UNLOAD=y
25 # CONFIG_BLK_DEV_BSG is not set
26 CONFIG_PARTITION_ADVANCED=y
27 # CONFIG_EFI_PARTITION is not set
33 # CONFIG_IPV6 is not set
37 CONFIG_DEVTMPFS_MOUNT=y
40 CONFIG_MTD_CFI_INTELEXT=y
41 CONFIG_MTD_CFI_AMDSTD=y
43 CONFIG_BLK_DEV_RAM_SIZE=8192
45 CONFIG_XILINX_EMACLITE=y
46 CONFIG_XILINX_AXI_EMAC=y
47 CONFIG_XILINX_LL_TEMAC=y
48 # CONFIG_INPUT is not set
49 # CONFIG_SERIO is not set
50 # CONFIG_VT is not set
52 CONFIG_SERIAL_8250_CONSOLE=y
53 CONFIG_SERIAL_OF_PLATFORM=y
54 CONFIG_SERIAL_UARTLITE=y
55 CONFIG_SERIAL_UARTLITE_CONSOLE=y
56 # CONFIG_HW_RANDOM is not set
57 CONFIG_XILINX_HWICAP=y
66 CONFIG_POWER_RESET_GPIO_RESTART=y
67 # CONFIG_HWMON is not set
69 CONFIG_XILINX_WATCHDOG=y
72 # CONFIG_USB_SUPPORT is not set
74 CONFIG_UIO_PDRV_GENIRQ=y
75 CONFIG_UIO_DMEM_GENIRQ=y
77 # CONFIG_DNOTIFY is not set
84 CONFIG_ENCRYPTED_KEYS=y
91 CONFIG_DETECT_HUNG_TASK=y
92 CONFIG_DEBUG_SPINLOCK=y