5 CONFIG_AUDIT_LOGINUID_IMMUTABLE=y
8 CONFIG_SYSFS_DEPRECATED=y
9 CONFIG_SYSFS_DEPRECATED_V2=y
11 # CONFIG_BASE_FULL is not set
15 CONFIG_MODULE_UNLOAD=y
16 # CONFIG_BLK_DEV_BSG is not set
17 CONFIG_PARTITION_ADVANCED=y
18 # CONFIG_EFI_PARTITION is not set
19 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
20 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
21 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
22 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
23 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
24 CONFIG_XILINX_MICROBLAZE0_USE_FPU=2
28 CONFIG_CMDLINE_FORCE=y
36 # CONFIG_INET_LRO is not set
37 # CONFIG_IPV6 is not set
39 CONFIG_PROC_DEVICETREE=y
41 CONFIG_BLK_DEV_RAM_SIZE=8192
43 CONFIG_XILINX_EMACLITE=y
44 CONFIG_XILINX_LL_TEMAC=y
45 # CONFIG_INPUT is not set
46 # CONFIG_SERIO is not set
47 # CONFIG_VT is not set
49 CONFIG_SERIAL_8250_CONSOLE=y
50 CONFIG_SERIAL_UARTLITE=y
51 CONFIG_SERIAL_UARTLITE_CONSOLE=y
52 CONFIG_SERIAL_OF_PLATFORM=y
53 # CONFIG_HW_RANDOM is not set
54 CONFIG_XILINX_HWICAP=y
62 # CONFIG_HWMON is not set
64 CONFIG_XILINX_WATCHDOG=y
67 # CONFIG_USB_SUPPORT is not set
70 CONFIG_UIO_PDRV_GENIRQ=y
71 CONFIG_UIO_DMEM_GENIRQ=y
73 # CONFIG_DNOTIFY is not set
80 CONFIG_DETECT_HUNG_TASK=y
82 CONFIG_DEBUG_SPINLOCK=y
89 CONFIG_ENCRYPTED_KEYS=y
90 CONFIG_KEYS_DEBUG_PROC_KEYS=y
91 # CONFIG_CRYPTO_ANSI_CPRNG is not set