6 CONFIG_AUDIT_LOGINUID_IMMUTABLE=y
9 CONFIG_SYSFS_DEPRECATED=y
10 CONFIG_SYSFS_DEPRECATED_V2=y
12 # CONFIG_BASE_FULL is not set
16 CONFIG_MODULE_UNLOAD=y
17 # CONFIG_BLK_DEV_BSG is not set
18 CONFIG_PARTITION_ADVANCED=y
19 # CONFIG_EFI_PARTITION is not set
20 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
21 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
22 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
23 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
24 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
25 CONFIG_XILINX_MICROBLAZE0_USE_FPU=2
29 CONFIG_CMDLINE_FORCE=y
37 # CONFIG_INET_LRO is not set
38 # CONFIG_IPV6 is not set
40 CONFIG_PROC_DEVICETREE=y
42 CONFIG_BLK_DEV_RAM_SIZE=8192
44 CONFIG_XILINX_EMACLITE=y
45 CONFIG_XILINX_LL_TEMAC=y
46 # CONFIG_INPUT is not set
47 # CONFIG_SERIO is not set
48 # CONFIG_VT is not set
50 CONFIG_SERIAL_8250_CONSOLE=y
51 CONFIG_SERIAL_UARTLITE=y
52 CONFIG_SERIAL_UARTLITE_CONSOLE=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
86 CONFIG_ENCRYPTED_KEYS=y
87 CONFIG_KEYS_DEBUG_PROC_KEYS=y
88 # CONFIG_CRYPTO_ANSI_CPRNG is not set