3 # CONFIG_VIRT_CPU_ACCOUNTING is not set
8 CONFIG_BSD_PROCESS_ACCT=y
11 CONFIG_IKCONFIG_PROC=y
12 CONFIG_LOG_BUF_SHIFT=14
13 CONFIG_BLK_DEV_INITRD=y
17 CONFIG_MODULE_UNLOAD=y
18 CONFIG_MODULE_FORCE_UNLOAD=y
20 # CONFIG_BLK_DEV_BSG is not set
22 # CONFIG_PPC_OF_BOOT_TRAMPOLINE is not set
24 CONFIG_HIGH_RES_TIMERS=y
36 CONFIG_IP_ADVANCED_ROUTER=y
37 CONFIG_IP_MULTIPLE_TABLES=y
38 CONFIG_IP_ROUTE_MULTIPATH=y
39 CONFIG_IP_ROUTE_VERBOSE=y
50 # CONFIG_INET_XFRM_MODE_BEET is not set
51 # CONFIG_INET_LRO is not set
54 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
55 CONFIG_PROC_DEVICETREE=y
58 CONFIG_BLK_DEV_RAM_SIZE=131072
60 CONFIG_EEPROM_LEGACY=y
63 CONFIG_INPUT_FF_MEMLESS=m
64 # CONFIG_INPUT_MOUSEDEV is not set
65 # CONFIG_INPUT_KEYBOARD is not set
66 # CONFIG_INPUT_MOUSE is not set
69 CONFIG_SERIAL_8250_CONSOLE=y
70 CONFIG_SERIAL_8250_EXTENDED=y
71 CONFIG_SERIAL_8250_MANY_PORTS=y
72 CONFIG_SERIAL_8250_DETECT_IRQ=y
73 CONFIG_SERIAL_8250_RSA=y
77 # CONFIG_HWMON is not set
78 CONFIG_VIDEO_OUTPUT_CONTROL=y
79 # CONFIG_HID_SUPPORT is not set
80 # CONFIG_USB_SUPPORT is not set
85 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
89 # CONFIG_MISC_FILESYSTEMS is not set
90 CONFIG_PARTITION_ADVANCED=y
91 CONFIG_MAC_PARTITION=y
96 CONFIG_FRAME_WARN=1024
98 CONFIG_DETECT_HUNG_TASK=y
100 CONFIG_SYSCTL_SYSCALL_CHECK=y
101 CONFIG_IRQ_DOMAIN_DEBUG=y
103 CONFIG_CRYPTO_SHA256=y
104 CONFIG_CRYPTO_SHA512=y
106 # CONFIG_CRYPTO_ANSI_CPRNG is not set
107 CONFIG_CRYPTO_DEV_FSL_CAAM=y