4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_BSD_PROCESS_ACCT=y
8 CONFIG_LOG_BUF_SHIFT=16
10 CONFIG_BLK_DEV_INITRD=y
14 CONFIG_CC_STACKPROTECTOR_REGULAR=y
16 CONFIG_MODULE_UNLOAD=y
22 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
23 CONFIG_TRANSPARENT_HUGEPAGE=y
24 CONFIG_TRANSPARENT_HUGEPAGE_MADVISE=y
25 CONFIG_CMDLINE="console=ttyAMA0 earlyprintk=pl011,0x1c090000 debug user_debug=31 loglevel=9 root=/dev/vda"
26 CONFIG_CMDLINE_FORCE=y
30 CONFIG_CPU_FREQ_GOV_USERSPACE=y
31 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
32 CONFIG_ARM_BIG_LITTLE_CPUFREQ=y
33 CONFIG_ARM_DT_BL_CPUFREQ=y
34 CONFIG_ARM_SPCI_CPUFREQ=y
40 CONFIG_NET_KEY_MIGRATE=y
48 CONFIG_NETWORK_PHY_TIMESTAMPING=y
49 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
51 CONFIG_DEVTMPFS_MOUNT=y
52 CONFIG_VEXPRESS_CONFIG=y
57 CONFIG_BLK_DEV_RAM_SIZE=65536
67 CONFIG_SERIO_AMBAKMI=y
69 CONFIG_SERIAL_8250_CONSOLE=y
70 CONFIG_SERIAL_AMBA_PL011=y
71 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
72 CONFIG_SERIAL_OF_PLATFORM=y
73 CONFIG_VIRTIO_CONSOLE=y
76 CONFIG_I2C_DESIGNWARE_PLATFORM=y
79 CONFIG_POWER_RESET_VEXPRESS=y
82 CONFIG_FRAMEBUFFER_CONSOLE=y
87 CONFIG_USB_EHCI_HCD_SYNOPSYS=y
89 CONFIG_NOP_USB_XCEIV=y
91 CONFIG_USB_DUMMY_HCD=m
98 CONFIG_LEDS_TRIGGERS=y
99 CONFIG_LEDS_TRIGGER_TIMER=y
100 CONFIG_LEDS_TRIGGER_ONESHOT=y
101 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
102 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
103 CONFIG_LEDS_TRIGGER_CPU=y
104 CONFIG_LEDS_TRIGGER_GPIO=y
107 CONFIG_RTC_DRV_PL031=y
108 CONFIG_VIRTIO_BALLOON=y
110 CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y
111 CONFIG_COMMON_CLK_VERSATILE=y
113 CONFIG_CLK_VEXPRESS_OSC=y
114 CONFIG_COMMON_CLK_SCPI=y
116 CONFIG_ARM_SCPI_PROTOCOL=y
118 CONFIG_EXT4_FS_SECURITY=y
125 CONFIG_TMPFS_POSIX_ACL=y
129 CONFIG_NLS_CODEPAGE_437=y
130 CONFIG_NLS_ISO8859_1=y
131 CONFIG_VIRTUALIZATION=y
133 CONFIG_DYNAMIC_DEBUG=y
138 CONFIG_FUNCTION_TRACER=y
139 CONFIG_STRICT_DEVMEM=y
141 CONFIG_SECURITY_NETWORK_XFRM=y
142 CONFIG_LSM_MMAP_MIN_ADDR=0