5 CONFIG_SYSFS_DEPRECATED_V2=y
6 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_INITRAMFS_SOURCE="rootfs.cpio"
8 CONFIG_INITRAMFS_COMPRESSION_GZIP=y
9 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
12 CONFIG_KALLSYMS_EXTRA_PASS=y
13 # CONFIG_HOTPLUG is not set
14 # CONFIG_BASE_FULL is not set
15 # CONFIG_FUTEX is not set
16 # CONFIG_EPOLL is not set
17 # CONFIG_SIGNALFD is not set
18 # CONFIG_SHMEM is not set
21 CONFIG_MODULE_UNLOAD=y
22 # CONFIG_BLK_DEV_BSG is not set
24 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
25 CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
26 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
27 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
28 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
29 CONFIG_XILINX_MICROBLAZE0_USE_FPU=2
33 CONFIG_CMDLINE_FORCE=y
38 # CONFIG_INET_LRO is not set
39 # CONFIG_IPV6 is not set
40 CONFIG_PROC_DEVICETREE=y
42 CONFIG_BLK_DEV_RAM_SIZE=8192
45 CONFIG_XILINX_EMACLITE=y
46 # CONFIG_INPUT is not set
47 # CONFIG_SERIO is not set
48 # CONFIG_VT is not set
49 CONFIG_SERIAL_UARTLITE=y
50 CONFIG_SERIAL_UARTLITE_CONSOLE=y
51 # CONFIG_HW_RANDOM is not set
52 # CONFIG_HWMON is not set
53 # CONFIG_USB_SUPPORT is not set
55 # CONFIG_DNOTIFY is not set
61 CONFIG_PARTITION_ADVANCED=y
63 CONFIG_DETECT_HUNG_TASK=y
65 CONFIG_DEBUG_SPINLOCK=y
67 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
69 # CONFIG_CRYPTO_ANSI_CPRNG is not set