]> git.ipfire.org Git - ipfire-3.x.git/blob - kernel/config-arm-generic
kernel: Update to 4.5.7
[ipfire-3.x.git] / kernel / config-arm-generic
1 CONFIG_KERNEL_MODE_NEON=y
2 CONFIG_PGTABLE_LEVELS=2
3
4 #
5 # IRQ subsystem
6 #
7 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
8 CONFIG_HARDIRQS_SW_RESEND=y
9 CONFIG_HANDLE_DOMAIN_IRQ=y
10 CONFIG_ARCH_HAS_TICK_BROADCAST=y
11
12 #
13 # RCU Subsystem
14 #
15 CONFIG_RCU_NOCB_CPU_NONE=y
16 # CONFIG_RCU_NOCB_CPU_ALL is not set
17 CONFIG_GENERIC_SCHED_CLOCK=y
18 CONFIG_PERF_USE_VMALLOC=y
19
20 #
21 # Kernel Performance Events And Counters
22 #
23 CONFIG_GENERIC_IDLE_POLL_SETUP=y
24 CONFIG_CLONE_BACKWARDS=y
25
26 #
27 # Platform selection
28 #
29 # CONFIG_ARCH_RENESAS is not set
30 # CONFIG_ARCH_UNIPHIER is not set
31 CONFIG_ARCH_VEXPRESS=y
32
33 #
34 # Bus support
35 #
36 CONFIG_PCI_DOMAINS_GENERIC=y
37 CONFIG_PCI_SYSCALL=y
38 # CONFIG_PCI_MSI is not set
39 # CONFIG_PCI_STUB is not set
40 # CONFIG_PCI_IOV is not set
41 # CONFIG_PCI_PRI is not set
42 # CONFIG_PCI_PASID is not set
43
44 #
45 # PCI host controller drivers
46 #
47 CONFIG_PCIE_DW=y
48 CONFIG_PCI_HOST_GENERIC=y
49 # CONFIG_PCIE_ECRC is not set
50 # CONFIG_PCIEAER_INJECT is not set
51 CONFIG_PCIEASPM_DEFAULT=y
52 # CONFIG_PCIEASPM_POWERSAVE is not set
53
54 #
55 # ARM errata workarounds via the alternatives framework
56 #
57 # CONFIG_CPU_BIG_ENDIAN is not set
58 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
59 CONFIG_HW_PERF_EVENTS=y
60 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
61 # CONFIG_PARAVIRT is not set
62 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
63
64 #
65 # Boot options
66 #
67 # CONFIG_CMDLINE_FORCE is not set
68
69 #
70 # Power management options
71 #
72 CONFIG_CPU_PM=y
73
74 #
75 # ARM CPU Idle Drivers
76 #
77 # CONFIG_ARM_CPUIDLE is not set
78
79 #
80 # CPU Frequency scaling
81 #
82 CONFIG_CPU_FREQ_STAT=y
83 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
84
85 #
86 # CPU frequency scaling drivers
87 #
88 CONFIG_ARM_BIG_LITTLE_CPUFREQ=m
89 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
90 CONFIG_ARM_SCPI_CPUFREQ=m
91
92 #
93 # Bluetooth device drivers
94 #
95 # CONFIG_BT_HCIBTSDIO is not set
96 # CONFIG_BT_MRVL_SDIO is not set
97 # CONFIG_RFKILL_REGULATOR is not set
98 # CONFIG_RFKILL_GPIO is not set
99
100 #
101 # Device Drivers
102 #
103 CONFIG_ARM_AMBA=y
104
105 #
106 # Generic Driver Options
107 #
108 CONFIG_DMA_CMA=y
109
110 #
111 # Default contiguous memory area size:
112 #
113 CONFIG_CMA_SIZE_MBYTES=16
114 CONFIG_CMA_SIZE_SEL_MBYTES=y
115 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
116 # CONFIG_CMA_SIZE_SEL_MIN is not set
117 # CONFIG_CMA_SIZE_SEL_MAX is not set
118 CONFIG_CMA_ALIGNMENT=8
119
120 #
121 # Bus devices
122 #
123 CONFIG_ARM_CCI=y
124 CONFIG_ARM_CCI_PMU=y
125 CONFIG_ARM_CCI400_COMMON=y
126 CONFIG_ARM_CCI400_PMU=y
127 CONFIG_ARM_CCI500_PMU=y
128 # CONFIG_ARM_CCN is not set
129 CONFIG_VEXPRESS_CONFIG=y
130 CONFIG_DTC=y
131 CONFIG_OF_FLATTREE=y
132 CONFIG_OF_EARLY_FLATTREE=y
133 CONFIG_OF_RESERVED_MEM=y
134 # CONFIG_PARPORT is not set
135
136 #
137 # Protocols
138 #
139 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
140 # CONFIG_BLK_CPQ_CISS_DA is not set
141 # CONFIG_BLK_DEV_DAC960 is not set
142 # CONFIG_BLK_DEV_UMEM is not set
143 # CONFIG_BLK_DEV_SX8 is not set
144 CONFIG_BLK_DEV_RAM_SIZE=4096
145 # CONFIG_BLK_DEV_RSXX is not set
146 # CONFIG_BLK_DEV_NVME is not set
147
148 #
149 # Misc devices
150 #
151 # CONFIG_SENSORS_LIS3LV02D is not set
152 # CONFIG_SGI_IOC4 is not set
153 # CONFIG_HP_ILO is not set
154 CONFIG_SRAM=y
155 CONFIG_VEXPRESS_SYSCFG=y
156
157 #
158 # SCSI Transports
159 #
160 CONFIG_AIC79XX_RESET_DELAY_MS=5000
161 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
162 # CONFIG_SCSI_MVSAS_TASKLET is not set
163 # CONFIG_SCSI_ADVANSYS is not set
164 # CONFIG_MEGARAID_NEWGEN is not set
165
166 #
167 # PIO-only SFF controllers
168 #
169 # CONFIG_PATA_OF_PLATFORM is not set
170
171 #
172 # IEEE 1394 (FireWire) support
173 #
174 CONFIG_MII=y
175 # CONFIG_ATM_LANAI is not set
176 # CONFIG_ATM_ENI is not set
177 # CONFIG_ATM_NICSTAR is not set
178 # CONFIG_ATM_IDT77252 is not set
179 # CONFIG_ATM_HE is not set
180 # CONFIG_ATM_SOLOS is not set
181
182 #
183 # Distributed Switch Architecture drivers
184 #
185 CONFIG_AMD8111_ETH=y
186 # CONFIG_CHELSIO_T1_1G is not set
187 # CONFIG_DE2104X is not set
188 # CONFIG_TULIP_MMIO is not set
189 # CONFIG_TULIP_NAPI is not set
190 CONFIG_NET_VENDOR_HISILICON=y
191 CONFIG_HIX5HD2_GMAC=m
192 CONFIG_HIP04_ETH=m
193 CONFIG_HNS_MDIO=m
194 CONFIG_HNS=m
195 CONFIG_HNS_DSAF=m
196 CONFIG_HNS_ENET=m
197 # CONFIG_I40E_VXLAN is not set
198 # CONFIG_SKGE_GENESIS is not set
199 # CONFIG_QLCNIC_VXLAN is not set
200 CONFIG_8139TOO_PIO=y
201 # CONFIG_8139TOO_8129 is not set
202 CONFIG_SMC91X=m
203 # CONFIG_STMMAC_PCI is not set
204 # CONFIG_VIA_RHINE_MMIO is not set
205
206 #
207 # MII PHY device drivers
208 #
209 CONFIG_WIL6210_TRACING=y
210 # CONFIG_IPW2100_MONITOR is not set
211 # CONFIG_IPW2200_MONITOR is not set
212 # CONFIG_IPW2200_QOS is not set
213
214 #
215 # Input Device Drivers
216 #
217 # CONFIG_KEYBOARD_ADP5520 is not set
218 # CONFIG_KEYBOARD_STMPE is not set
219 # CONFIG_KEYBOARD_CAP11XX is not set
220 CONFIG_INPUT_MAX77693_HAPTIC=m
221 # CONFIG_INPUT_MAX8997_HAPTIC is not set
222 # CONFIG_INPUT_GPIO_BEEPER is not set
223 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
224 # CONFIG_INPUT_TWL4030_VIBRA is not set
225 # CONFIG_INPUT_TWL6040_VIBRA is not set
226 # CONFIG_INPUT_PWM_BEEPER is not set
227
228 #
229 # Hardware I/O ports
230 #
231 # CONFIG_SERIO_AMBAKMI is not set
232
233 #
234 # Character devices
235 #
236 # CONFIG_ROCKETPORT is not set
237 # CONFIG_CYCLADES is not set
238 # CONFIG_SYNCLINKMP is not set
239 # CONFIG_SYNCLINK_GT is not set
240 # CONFIG_NOZOMI is not set
241
242 #
243 # Serial drivers
244 #
245 CONFIG_SERIAL_8250_FSL=y
246 CONFIG_SERIAL_8250_INGENIC=y
247 CONFIG_SERIAL_OF_PLATFORM=y
248
249 #
250 # Non-8250 serial port support
251 #
252 CONFIG_SERIAL_AMBA_PL010=m
253 CONFIG_SERIAL_AMBA_PL011=m
254 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
255 # CONFIG_SERIAL_JSM is not set
256 # CONFIG_SERIAL_SCCNXP is not set
257 # CONFIG_SERIAL_XILINX_PS_UART is not set
258 # CONFIG_SERIAL_ARC is not set
259 # CONFIG_SERIAL_RP2 is not set
260
261 #
262 # Multiplexer I2C Chip support
263 #
264 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
265
266 #
267 # PC SMBus host controller drivers
268 #
269 CONFIG_I2C_ALI1535=m
270 CONFIG_I2C_ALI1563=m
271 CONFIG_I2C_ALI15X3=m
272 CONFIG_I2C_SIS5595=m
273 CONFIG_I2C_SIS630=m
274
275 #
276 # I2C system bus drivers (mostly embedded / system-on-chip)
277 #
278 CONFIG_I2C_VERSATILE=m
279
280 #
281 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
282 #
283 CONFIG_ARCH_REQUIRE_GPIOLIB=y
284
285 #
286 # Memory mapped GPIO drivers
287 #
288 # CONFIG_GPIO_GRGPIO is not set
289 CONFIG_GPIO_PL061=y
290
291 #
292 # MFD GPIO expanders
293 #
294 # CONFIG_GPIO_TC3589X is not set
295
296 #
297 # USB GPIO expanders
298 #
299 # CONFIG_MAX8925_POWER is not set
300 # CONFIG_WM831X_BACKUP is not set
301 # CONFIG_WM831X_POWER is not set
302 # CONFIG_WM8350_POWER is not set
303 # CONFIG_BATTERY_88PM860X is not set
304 # CONFIG_BATTERY_DA9030 is not set
305 # CONFIG_BATTERY_DA9052 is not set
306 # CONFIG_BATTERY_TWL4030_MADC is not set
307 # CONFIG_BATTERY_RX51 is not set
308 # CONFIG_CHARGER_TWL4030 is not set
309 # CONFIG_CHARGER_MAX8997 is not set
310 # CONFIG_CHARGER_MAX8998 is not set
311 CONFIG_POWER_RESET_VEXPRESS=y
312
313 #
314 # Native drivers
315 #
316 CONFIG_SENSORS_ARM_SCPI=m
317 CONFIG_SENSORS_PWM_FAN=m
318 CONFIG_SENSORS_VEXPRESS=m
319
320 #
321 # Watchdog Device Drivers
322 #
323 CONFIG_ARM_SP805_WATCHDOG=m
324
325 #
326 # PCI-based Watchdog Cards
327 #
328 # CONFIG_PCIPCWATCHDOG is not set
329 # CONFIG_WDTPCI is not set
330
331 #
332 # Multifunction device drivers
333 #
334 # CONFIG_LPC_ICH is not set
335 # CONFIG_MFD_RTSX_PCI is not set
336
337 #
338 # STMicroelectronics STMPE Interface Drivers
339 #
340 # CONFIG_MFD_VX855 is not set
341 CONFIG_MFD_VEXPRESS_SYSREG=y
342 CONFIG_REGULATOR_FIXED_VOLTAGE=y
343 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
344 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
345 CONFIG_REGULATOR_PWM=m
346 CONFIG_REGULATOR_VEXPRESS=m
347
348 #
349 # Multimedia core support
350 #
351 # CONFIG_TTPCI_EEPROM is not set
352
353 #
354 # Digital TV USB devices
355 #
356 CONFIG_DVB_TTUSB_BUDGET=y
357 CONFIG_DVB_TTUSB_DEC=y
358
359 #
360 # Media capture/analog/hybrid TV support
361 #
362 # CONFIG_VIDEO_CX18 is not set
363 # CONFIG_VIDEO_CX23885 is not set
364 # CONFIG_VIDEO_CX25821 is not set
365 # CONFIG_VIDEO_CX88 is not set
366 # CONFIG_VIDEO_SAA7134 is not set
367 # CONFIG_VIDEO_SAA7164 is not set
368
369 #
370 # Media digital TV PCI Adapters
371 #
372 # CONFIG_DVB_AV7110 is not set
373 # CONFIG_DVB_BUDGET_CORE is not set
374 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
375 # CONFIG_DVB_PLUTO2 is not set
376 # CONFIG_DVB_DM1105 is not set
377 # CONFIG_DVB_PT1 is not set
378 # CONFIG_MANTIS_CORE is not set
379 # CONFIG_DVB_NGENE is not set
380
381 #
382 # DVB-S (satellite) frontends
383 #
384 CONFIG_DVB_STV0299=y
385 CONFIG_DVB_TDA8083=y
386
387 #
388 # DVB-T (terrestrial) frontends
389 #
390 CONFIG_DVB_CX22700=y
391 CONFIG_DVB_TDA1004X=y
392
393 #
394 # DVB-C (cable) frontends
395 #
396 CONFIG_DVB_VES1820=y
397 CONFIG_DVB_STV0297=y
398
399 #
400 # SEC control devices for DVB-S
401 #
402 CONFIG_DVB_LNBP21=y
403
404 #
405 # I2C encoder or helper chips
406 #
407 # CONFIG_DRM_I2C_NXP_TDA998X is not set
408
409 #
410 # Frame buffer hardware drivers
411 #
412 # CONFIG_FB_ARMCLCD is not set
413 # CONFIG_LCD_PLATFORM is not set
414 # CONFIG_BACKLIGHT_PWM is not set
415 # CONFIG_BACKLIGHT_LM3630A is not set
416 # CONFIG_BACKLIGHT_LP855X is not set
417 # CONFIG_BACKLIGHT_LP8788 is not set
418
419 #
420 # Console display driver support
421 #
422 CONFIG_SND_DMAENGINE_PCM=m
423 # CONFIG_SND_ALI5451 is not set
424 # CONFIG_SND_ES1968_INPUT is not set
425 # CONFIG_SND_MAESTRO3_INPUT is not set
426
427 #
428 # HD-Audio
429 #
430 CONFIG_SND_SOC=m
431 CONFIG_SND_SOC_AC97_BUS=y
432 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
433 CONFIG_SND_SOC_AMD_ACP=m
434 CONFIG_SND_ATMEL_SOC=m
435 CONFIG_SND_DESIGNWARE_I2S=m
436
437 #
438 # Common SoC Audio options for Freescale CPUs:
439 #
440 CONFIG_SND_SOC_FSL_ASRC=m
441 CONFIG_SND_SOC_FSL_SAI=m
442 CONFIG_SND_SOC_FSL_SSI=m
443 CONFIG_SND_SOC_FSL_SPDIF=m
444 CONFIG_SND_SOC_FSL_ESAI=m
445 CONFIG_SND_SOC_IMX_AUDMUX=m
446 # CONFIG_SND_SOC_IMG is not set
447
448 #
449 # Allwinner SoC Audio support
450 #
451 CONFIG_SND_SUN4I_CODEC=m
452 CONFIG_SND_SOC_I2C_AND_SPI=m
453
454 #
455 # CODEC drivers
456 #
457 CONFIG_SND_SOC_AC97_CODEC=m
458 CONFIG_SND_SOC_ADAU1701=m
459 CONFIG_SND_SOC_AK4554=m
460 CONFIG_SND_SOC_AK4613=m
461 CONFIG_SND_SOC_AK4642=m
462 CONFIG_SND_SOC_AK5386=m
463 CONFIG_SND_SOC_ALC5623=m
464 CONFIG_SND_SOC_CS35L32=m
465 CONFIG_SND_SOC_CS42L51=m
466 CONFIG_SND_SOC_CS42L51_I2C=m
467 CONFIG_SND_SOC_CS42L52=m
468 CONFIG_SND_SOC_CS42L56=m
469 CONFIG_SND_SOC_CS42L73=m
470 CONFIG_SND_SOC_CS4265=m
471 CONFIG_SND_SOC_CS4270=m
472 CONFIG_SND_SOC_CS4271=m
473 CONFIG_SND_SOC_CS4271_I2C=m
474 CONFIG_SND_SOC_CS42XX8=m
475 CONFIG_SND_SOC_CS42XX8_I2C=m
476 CONFIG_SND_SOC_CS4349=m
477 CONFIG_SND_SOC_ES8328=m
478 CONFIG_SND_SOC_GTM601=m
479 CONFIG_SND_SOC_INNO_RK3036=m
480 CONFIG_SND_SOC_PCM1681=m
481 CONFIG_SND_SOC_PCM3168A=m
482 CONFIG_SND_SOC_PCM3168A_I2C=m
483 CONFIG_SND_SOC_PCM512x=m
484 CONFIG_SND_SOC_PCM512x_I2C=m
485 CONFIG_SND_SOC_RT5631=m
486 # CONFIG_SND_SOC_RT5677_SPI is not set
487 CONFIG_SND_SOC_SGTL5000=m
488 CONFIG_SND_SOC_SIGMADSP=m
489 CONFIG_SND_SOC_SIGMADSP_I2C=m
490 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
491 CONFIG_SND_SOC_SPDIF=m
492 CONFIG_SND_SOC_SSM2602=m
493 CONFIG_SND_SOC_SSM2602_I2C=m
494 CONFIG_SND_SOC_SSM4567=m
495 CONFIG_SND_SOC_STA32X=m
496 CONFIG_SND_SOC_STA350=m
497 CONFIG_SND_SOC_STI_SAS=m
498 CONFIG_SND_SOC_TAS2552=m
499 CONFIG_SND_SOC_TAS5086=m
500 CONFIG_SND_SOC_TAS571X=m
501 CONFIG_SND_SOC_TFA9879=m
502 CONFIG_SND_SOC_TLV320AIC23=m
503 CONFIG_SND_SOC_TLV320AIC23_I2C=m
504 CONFIG_SND_SOC_TLV320AIC31XX=m
505 CONFIG_SND_SOC_TLV320AIC3X=m
506 CONFIG_SND_SOC_TS3A227E=m
507 CONFIG_SND_SOC_WM8510=m
508 CONFIG_SND_SOC_WM8523=m
509 CONFIG_SND_SOC_WM8580=m
510 CONFIG_SND_SOC_WM8711=m
511 CONFIG_SND_SOC_WM8728=m
512 CONFIG_SND_SOC_WM8731=m
513 CONFIG_SND_SOC_WM8737=m
514 CONFIG_SND_SOC_WM8741=m
515 CONFIG_SND_SOC_WM8750=m
516 CONFIG_SND_SOC_WM8753=m
517 CONFIG_SND_SOC_WM8776=m
518 CONFIG_SND_SOC_WM8804=m
519 CONFIG_SND_SOC_WM8804_I2C=m
520 CONFIG_SND_SOC_WM8903=m
521 CONFIG_SND_SOC_WM8962=m
522 CONFIG_SND_SOC_WM8974=m
523 CONFIG_SND_SOC_WM8978=m
524 CONFIG_SND_SOC_TPA6130A2=m
525 CONFIG_SND_SIMPLE_CARD=m
526
527 #
528 # USB Physical Layer drivers
529 #
530 CONFIG_USB_ULPI=y
531 CONFIG_USB_ULPI_VIEWPORT=y
532
533 #
534 # MMC/SD/SDIO Host Controller Drivers
535 #
536 CONFIG_MMC_ARMMMCI=m
537 # CONFIG_MMC_RICOH_MMC is not set
538 CONFIG_MMC_DW=m
539 CONFIG_MMC_DW_PLTFM=m
540 CONFIG_MMC_DW_EXYNOS=m
541 CONFIG_MMC_DW_K3=m
542 CONFIG_MMC_DW_PCI=m
543
544 #
545 # LED drivers
546 #
547 CONFIG_LEDS_PWM=m
548
549 #
550 # on-CPU RTC drivers
551 #
552 CONFIG_RTC_DRV_PL030=m
553 CONFIG_RTC_DRV_PL031=m
554
555 #
556 # DMA Devices
557 #
558 # CONFIG_AMBA_PL08X is not set
559 # CONFIG_PL330_DMA is not set
560 # CONFIG_DW_DMAC is not set
561 # CONFIG_DW_DMAC_PCI is not set
562
563 #
564 # DMA Clients
565 #
566 # CONFIG_UIO_AEC is not set
567 # CONFIG_UIO_SERCOS3 is not set
568 # CONFIG_UIO_PCI_GENERIC is not set
569 # CONFIG_UIO_MF624 is not set
570
571 #
572 # Common Clock Framework
573 #
574 CONFIG_COMMON_CLK_WM831X=y
575 CONFIG_COMMON_CLK_VERSATILE=y
576 CONFIG_CLK_SP810=y
577 CONFIG_CLK_VEXPRESS_OSC=y
578 CONFIG_COMMON_CLK_MAX77686=y
579 CONFIG_COMMON_CLK_SCPI=m
580 CONFIG_CLK_QORIQ=y
581 CONFIG_COMMON_CLK_PWM=m
582
583 #
584 # Clock Source drivers
585 #
586 CONFIG_CLKSRC_OF=y
587 CONFIG_CLKSRC_PROBE=y
588 CONFIG_CLKSRC_MMIO=y
589 CONFIG_ARM_ARCH_TIMER=y
590 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
591 CONFIG_ARM_TIMER_SP804=y
592 CONFIG_ARM_MHU=m
593
594 #
595 # Generic IOMMU Pagetable Support
596 #
597 CONFIG_IOMMU_IO_PGTABLE=y
598 CONFIG_IOMMU_IO_PGTABLE_LPAE=y
599 # CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
600
601 #
602 # Extcon Device Drivers
603 #
604 CONFIG_ARM_PL172_MPMC=m
605
606 #
607 # Analog to digital converters
608 #
609 # CONFIG_LP8788_ADC is not set
610 # CONFIG_TWL6030_GPADC is not set
611
612 #
613 # Temperature sensors
614 #
615 CONFIG_PWM=y
616 CONFIG_PWM_SYSFS=y
617 # CONFIG_PWM_FSL_FTM is not set
618 # CONFIG_PWM_LP3943 is not set
619 # CONFIG_PWM_PCA9685 is not set
620 # CONFIG_PWM_TWL is not set
621 # CONFIG_PWM_TWL_LED is not set
622 CONFIG_ARM_GIC=y
623 CONFIG_ARM_GIC_V3=y
624
625 #
626 # Performance monitor support
627 #
628 CONFIG_ARM_PMU=y
629
630 #
631 # Firmware Drivers
632 #
633 CONFIG_ARM_PSCI_FW=y
634 CONFIG_ARM_SCPI_PROTOCOL=m
635 # CONFIG_FIRMWARE_MEMMAP is not set
636
637 #
638 # RCU Debugging
639 #
640 CONFIG_RCU_CPU_STALL_TIMEOUT=21
641 # CONFIG_FTRACE_SYSCALLS is not set
642
643 #
644 # Runtime Testing
645 #
646 # CONFIG_PID_IN_CONTEXTIDR is not set
647 # CONFIG_CORESIGHT is not set
648
649 #
650 # Security options
651 #
652 CONFIG_LSM_MMAP_MIN_ADDR=32768
653
654 #
655 # Crypto core or helper
656 #
657 CONFIG_CRYPTO_GF128MUL=m
658 CONFIG_CRYPTO_ABLK_HELPER=m
659
660 #
661 # Block modes
662 #
663 CONFIG_CRYPTO_LRW=m
664 CONFIG_CRYPTO_XTS=m
665
666 #
667 # Library routines
668 #
669 CONFIG_AUDIT_GENERIC=y
670 CONFIG_LIBFDT=y