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
21 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
22 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
23 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
24 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
25 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
26 CONFIG_XILINX_MICROBLAZE0_USE_FPU=2
30 CONFIG_CMDLINE_FORCE=y
38 # CONFIG_INET_LRO is not set
39 # CONFIG_IPV6 is not set
41 CONFIG_PROC_DEVICETREE=y
43 CONFIG_BLK_DEV_RAM_SIZE=8192
45 CONFIG_XILINX_EMACLITE=y
46 CONFIG_XILINX_LL_TEMAC=y
47 # CONFIG_INPUT is not set
48 # CONFIG_SERIO is not set
49 # CONFIG_VT is not set
51 CONFIG_SERIAL_8250_CONSOLE=y
52 CONFIG_SERIAL_UARTLITE=y
53 CONFIG_SERIAL_UARTLITE_CONSOLE=y
54 # CONFIG_HW_RANDOM is not set
55 CONFIG_XILINX_HWICAP=y
63 # CONFIG_HWMON is not set
65 CONFIG_XILINX_WATCHDOG=y
68 # CONFIG_USB_SUPPORT is not set
71 CONFIG_UIO_PDRV_GENIRQ=y
72 CONFIG_UIO_DMEM_GENIRQ=y
74 # CONFIG_DNOTIFY is not set
81 CONFIG_DETECT_HUNG_TASK=y
83 CONFIG_DEBUG_SPINLOCK=y
87 CONFIG_ENCRYPTED_KEYS=y
88 CONFIG_KEYS_DEBUG_PROC_KEYS=y
89 # CONFIG_CRYPTO_ANSI_CPRNG is not set