kernel/config-arm-generic

   1
   2 #
   3 # IRQ subsystem
   4 #
   5 CONFIG_HARDIRQS_SW_RESEND=y
   6 CONFIG_HANDLE_DOMAIN_IRQ=y
   7
   8 #
   9 # CPU/Task time and stats accounting
  10 #
  11 CONFIG_VIRT_CPU_ACCOUNTING=y
  12 CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
  13
  14 #
  15 # RCU Subsystem
  16 #
  17 CONFIG_CONTEXT_TRACKING=y
  18 CONFIG_GENERIC_SCHED_CLOCK=y
  19 CONFIG_PERF_USE_VMALLOC=y
  20
  21 #
  22 # Kernel Performance Events And Counters
  23 #
  24 CONFIG_CLONE_BACKWARDS=y
  25
  26 #
  27 # Bus support
  28 #
  29 CONFIG_PCI_SYSCALL=y
  30 # CONFIG_PCI_MSI is not set
  31 # CONFIG_PCI_STUB is not set
  32 # CONFIG_PCI_IOV is not set
  33 # CONFIG_PCI_PRI is not set
  34 # CONFIG_PCI_PASID is not set
  35
  36 #
  37 # PCI host controller drivers
  38 #
  39 # CONFIG_PCIE_ECRC is not set
  40 # CONFIG_PCIEAER_INJECT is not set
  41 CONFIG_PCIEASPM_DEFAULT=y
  42 # CONFIG_PCIEASPM_POWERSAVE is not set
  43
  44 #
  45 # Kernel Features
  46 #
  47 # CONFIG_CPU_BIG_ENDIAN is not set
  48 CONFIG_HW_PERF_EVENTS=y
  49 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
  50
  51 #
  52 # Boot options
  53 #
  54 # CONFIG_CMDLINE_FORCE is not set
  55
  56 #
  57 # Power management options
  58 #
  59 CONFIG_PM_OPP=y
  60 CONFIG_CPU_PM=y
  61
  62 #
  63 # CPU Frequency scaling
  64 #
  65 CONFIG_CPU_FREQ_STAT=y
  66 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
  67 CONFIG_CPUFREQ_DT=m
  68
  69 #
  70 # Classification
  71 #
  72 CONFIG_BPF_JIT=y
  73
  74 #
  75 # Bluetooth device drivers
  76 #
  77 # CONFIG_BT_HCIBTSDIO is not set
  78 # CONFIG_BT_MRVL_SDIO is not set
  79 # CONFIG_RFKILL_REGULATOR is not set
  80 # CONFIG_RFKILL_GPIO is not set
  81
  82 #
  83 # Generic Driver Options
  84 #
  85 CONFIG_FIRMWARE_IN_KERNEL=y
  86 CONFIG_DMA_CMA=y
  87
  88 #
  89 # Default contiguous memory area size:
  90 #
  91 CONFIG_CMA_SIZE_MBYTES=16
  92 CONFIG_CMA_SIZE_SEL_MBYTES=y
  93 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
  94 # CONFIG_CMA_SIZE_SEL_MIN is not set
  95 # CONFIG_CMA_SIZE_SEL_MAX is not set
  96 CONFIG_CMA_ALIGNMENT=8
  97
  98 #
  99 # Bus devices
 100 #
 101 # CONFIG_ARM_CCN is not set
 102 CONFIG_VEXPRESS_CONFIG=y
 103 CONFIG_DTC=y
 104 CONFIG_OF=y
 105
 106 #
 107 # Device Tree and Open Firmware support
 108 #
 109 # CONFIG_OF_SELFTEST is not set
 110 CONFIG_OF_FLATTREE=y
 111 CONFIG_OF_EARLY_FLATTREE=y
 112 CONFIG_OF_ADDRESS=y
 113 CONFIG_OF_ADDRESS_PCI=y
 114 CONFIG_OF_IRQ=y
 115 CONFIG_OF_NET=y
 116 CONFIG_OF_MDIO=y
 117 CONFIG_OF_PCI=y
 118 CONFIG_OF_PCI_IRQ=y
 119 CONFIG_OF_RESERVED_MEM=y
 120 # CONFIG_PARPORT is not set
 121 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
 122 # CONFIG_BLK_CPQ_CISS_DA is not set
 123 # CONFIG_BLK_DEV_DAC960 is not set
 124 # CONFIG_BLK_DEV_UMEM is not set
 125 # CONFIG_BLK_DEV_NVME is not set
 126 # CONFIG_BLK_DEV_SX8 is not set
 127 CONFIG_BLK_DEV_RAM_SIZE=4096
 128 # CONFIG_BLK_DEV_RSXX is not set
 129
 130 #
 131 # Misc devices
 132 #
 133 # CONFIG_SENSORS_LIS3LV02D is not set
 134 # CONFIG_SGI_IOC4 is not set
 135 # CONFIG_HP_ILO is not set
 136 CONFIG_SRAM=y
 137 CONFIG_VEXPRESS_SYSCFG=y
 138
 139 #
 140 # SCSI Transports
 141 #
 142 CONFIG_AIC79XX_RESET_DELAY_MS=5000
 143 CONFIG_AIC79XX_DEBUG_ENABLE=y
 144 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
 145 CONFIG_AIC94XX_DEBUG=y
 146 CONFIG_SCSI_MVSAS_DEBUG=y
 147 # CONFIG_SCSI_MVSAS_TASKLET is not set
 148 # CONFIG_MEGARAID_NEWGEN is not set
 149
 150 #
 151 # IEEE 1394 (FireWire) support
 152 #
 153 CONFIG_I2O_LCT_NOTIFY_ON_CHANGES=y
 154 # CONFIG_I2O_BUS is not set
 155 # CONFIG_I2O_BLOCK is not set
 156 # CONFIG_I2O_SCSI is not set
 157 # CONFIG_I2O_PROC is not set
 158 CONFIG_MII=y
 159 # CONFIG_ATM_LANAI is not set
 160 # CONFIG_ATM_ENI is not set
 161 # CONFIG_ATM_NICSTAR is not set
 162 # CONFIG_ATM_IDT77252 is not set
 163 # CONFIG_ATM_HE is not set
 164 # CONFIG_ATM_SOLOS is not set
 165
 166 #
 167 # Distributed Switch Architecture drivers
 168 #
 169 CONFIG_AMD8111_ETH=y
 170 CONFIG_AMD_XGBE=m
 171 CONFIG_ARC_EMAC_CORE=m
 172 CONFIG_ARC_EMAC=m
 173 CONFIG_EMAC_ROCKCHIP=m
 174 CONFIG_BCMGENET=m
 175 CONFIG_SYSTEMPORT=m
 176 # CONFIG_CHELSIO_T1_1G is not set
 177 # CONFIG_DE2104X is not set
 178 # CONFIG_TULIP_MMIO is not set
 179 # CONFIG_TULIP_NAPI is not set
 180 # CONFIG_I40E_VXLAN is not set
 181 # CONFIG_SKGE_GENESIS is not set
 182 # CONFIG_QLCNIC_VXLAN is not set
 183 CONFIG_8139TOO_PIO=y
 184 # CONFIG_8139TOO_8129 is not set
 185 CONFIG_SMC91X=m
 186 # CONFIG_STMMAC_PCI is not set
 187 # CONFIG_VIA_RHINE_MMIO is not set
 188
 189 #
 190 # MII PHY device drivers
 191 #
 192 CONFIG_AMD_XGBE_PHY=m
 193 CONFIG_MDIO_BUS_MUX=m
 194 CONFIG_MDIO_BUS_MUX_GPIO=m
 195 CONFIG_MDIO_BUS_MUX_MMIOREG=m
 196 # CONFIG_ATH5K_DEBUG is not set
 197 CONFIG_WIL6210_TRACING=y
 198 # CONFIG_IPW2100_MONITOR is not set
 199 # CONFIG_IPW2200_MONITOR is not set
 200 # CONFIG_IPW2200_QOS is not set
 201
 202 #
 203 # Input Device Drivers
 204 #
 205 # CONFIG_KEYBOARD_ADP5520 is not set
 206 # CONFIG_KEYBOARD_STMPE is not set
 207 CONFIG_KEYBOARD_OMAP4=m
 208 # CONFIG_KEYBOARD_TC3589X is not set
 209 CONFIG_KEYBOARD_CAP1106=m
 210 CONFIG_INPUT_MAX77693_HAPTIC=m
 211 # CONFIG_INPUT_MAX8997_HAPTIC is not set
 212 # CONFIG_INPUT_GPIO_BEEPER is not set
 213 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
 214 # CONFIG_INPUT_TWL4030_VIBRA is not set
 215 # CONFIG_INPUT_TWL6040_VIBRA is not set
 216 # CONFIG_INPUT_PWM_BEEPER is not set
 217
 218 #
 219 # Hardware I/O ports
 220 #
 221 CONFIG_SERIO_APBPS2=m
 222
 223 #
 224 # Character devices
 225 #
 226 # CONFIG_ROCKETPORT is not set
 227 # CONFIG_CYCLADES is not set
 228 # CONFIG_SYNCLINKMP is not set
 229 # CONFIG_SYNCLINK_GT is not set
 230 # CONFIG_NOZOMI is not set
 231
 232 #
 233 # Non-8250 serial port support
 234 #
 235 CONFIG_SERIAL_EARLYCON_ARM_SEMIHOST=y
 236 # CONFIG_SERIAL_JSM is not set
 237 CONFIG_SERIAL_OF_PLATFORM=y
 238 # CONFIG_SERIAL_SCCNXP is not set
 239 # CONFIG_SERIAL_XILINX_PS_UART is not set
 240 # CONFIG_SERIAL_ARC is not set
 241 # CONFIG_SERIAL_RP2 is not set
 242
 243 #
 244 # Multiplexer I2C Chip support
 245 #
 246 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
 247
 248 #
 249 # PC SMBus host controller drivers
 250 #
 251 CONFIG_I2C_ALI1535=m
 252 CONFIG_I2C_ALI1563=m
 253 CONFIG_I2C_ALI15X3=m
 254 CONFIG_I2C_SIS5595=m
 255 CONFIG_I2C_SIS630=m
 256
 257 #
 258 # I2C system bus drivers (mostly embedded / system-on-chip)
 259 #
 260 CONFIG_I2C_RK3X=m
 261
 262 #
 263 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
 264 #
 265 CONFIG_ARCH_REQUIRE_GPIOLIB=y
 266 CONFIG_OF_GPIO=y
 267 CONFIG_GPIO_GENERIC=y
 268
 269 #
 270 # Memory mapped GPIO drivers:
 271 #
 272 CONFIG_GPIO_GENERIC_PLATFORM=y
 273 # CONFIG_GPIO_DWAPB is not set
 274 # CONFIG_GPIO_SYSCON is not set
 275 # CONFIG_GPIO_GRGPIO is not set
 276
 277 #
 278 # I2C GPIO expanders:
 279 #
 280 # CONFIG_GPIO_STMPE is not set
 281 CONFIG_GPIO_ADNP=m
 282
 283 #
 284 # PCI GPIO expanders:
 285 #
 286 # CONFIG_GPIO_BT8XX is not set
 287
 288 #
 289 # SPI GPIO expanders:
 290 #
 291 # CONFIG_GPIO_MCP23S08 is not set
 292
 293 #
 294 # 1-wire Slaves
 295 #
 296 # CONFIG_MAX8925_POWER is not set
 297 # CONFIG_WM831X_BACKUP is not set
 298 # CONFIG_WM831X_POWER is not set
 299 # CONFIG_WM8350_POWER is not set
 300 # CONFIG_BATTERY_88PM860X is not set
 301 # CONFIG_BATTERY_DA9030 is not set
 302 # CONFIG_BATTERY_DA9052 is not set
 303 # CONFIG_BATTERY_TWL4030_MADC is not set
 304 # CONFIG_BATTERY_RX51 is not set
 305 # CONFIG_CHARGER_TWL4030 is not set
 306 # CONFIG_CHARGER_MAX8997 is not set
 307 # CONFIG_CHARGER_MAX8998 is not set
 308 # CONFIG_CHARGER_TPS65090 is not set
 309 CONFIG_POWER_RESET_AS3722=y
 310 CONFIG_POWER_RESET_GPIO=y
 311 CONFIG_POWER_RESET_GPIO_RESTART=y
 312 CONFIG_POWER_RESET_LTC2952=y
 313 CONFIG_POWER_RESET_VEXPRESS=y
 314 CONFIG_POWER_RESET_SYSCON=y
 315
 316 #
 317 # Native drivers
 318 #
 319 CONFIG_SENSORS_PWM_FAN=m
 320 CONFIG_SENSORS_VEXPRESS=m
 321 CONFIG_THERMAL_OF=y
 322 # CONFIG_CPU_THERMAL is not set
 323
 324 #
 325 # Watchdog Device Drivers
 326 #
 327 CONFIG_GPIO_WATCHDOG=m
 328
 329 #
 330 # PCI-based Watchdog Cards
 331 #
 332 # CONFIG_PCIPCWATCHDOG is not set
 333 # CONFIG_WDTPCI is not set
 334
 335 #
 336 # Multifunction device drivers
 337 #
 338 CONFIG_MFD_AS3722=y
 339 CONFIG_MFD_HI6421_PMIC=m
 340 # CONFIG_LPC_ICH is not set
 341 # CONFIG_MFD_RTSX_PCI is not set
 342 CONFIG_MFD_RK808=m
 343 CONFIG_MFD_STMPE=y
 344
 345 #
 346 # STMicroelectronics STMPE Interface Drivers
 347 #
 348 CONFIG_STMPE_I2C=y
 349 CONFIG_MFD_VEXPRESS_SYSREG=y
 350 CONFIG_REGULATOR_FIXED_VOLTAGE=y
 351 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
 352 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 353 CONFIG_REGULATOR_AS3722=m
 354 CONFIG_REGULATOR_HI6421=m
 355 CONFIG_REGULATOR_PWM=m
 356 CONFIG_REGULATOR_RK808=m
 357 CONFIG_REGULATOR_TPS65218=m
 358 CONFIG_REGULATOR_VEXPRESS=m
 359
 360 #
 361 # Multimedia core support
 362 #
 363 # CONFIG_TTPCI_EEPROM is not set
 364
 365 #
 366 # Digital TV USB devices
 367 #
 368 CONFIG_DVB_TTUSB_BUDGET=y
 369 CONFIG_DVB_TTUSB_DEC=y
 370
 371 #
 372 # Media capture/analog/hybrid TV support
 373 #
 374 # CONFIG_VIDEO_CX18 is not set
 375 # CONFIG_VIDEO_CX23885 is not set
 376 # CONFIG_VIDEO_CX25821 is not set
 377 # CONFIG_VIDEO_CX88 is not set
 378 # CONFIG_VIDEO_BT848 is not set
 379 # CONFIG_VIDEO_SAA7134 is not set
 380 # CONFIG_VIDEO_SAA7164 is not set
 381
 382 #
 383 # Media digital TV PCI Adapters
 384 #
 385 # CONFIG_DVB_AV7110 is not set
 386 # CONFIG_DVB_BUDGET_CORE is not set
 387 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
 388 # CONFIG_DVB_PLUTO2 is not set
 389 # CONFIG_DVB_DM1105 is not set
 390 # CONFIG_DVB_PT1 is not set
 391 # CONFIG_MANTIS_CORE is not set
 392 # CONFIG_DVB_NGENE is not set
 393
 394 #
 395 # DVB-S (satellite) frontends
 396 #
 397 CONFIG_DVB_STV0299=y
 398 CONFIG_DVB_TDA8083=y
 399
 400 #
 401 # DVB-T (terrestrial) frontends
 402 #
 403 CONFIG_DVB_CX22700=y
 404 CONFIG_DVB_TDA1004X=y
 405
 406 #
 407 # DVB-C (cable) frontends
 408 #
 409 CONFIG_DVB_VES1820=y
 410 CONFIG_DVB_STV0297=y
 411
 412 #
 413 # SEC control devices for DVB-S
 414 #
 415 CONFIG_DVB_LNBP21=y
 416
 417 #
 418 # I2C encoder or helper chips
 419 #
 420 # CONFIG_DRM_RADEON is not set
 421 # CONFIG_DRM_NOUVEAU is not set
 422
 423 #
 424 # Frame buffer Devices
 425 #
 426 # CONFIG_FB_BACKLIGHT is not set
 427
 428 #
 429 # Frame buffer hardware drivers
 430 #
 431 # CONFIG_FB_SSD1307 is not set
 432 # CONFIG_BACKLIGHT_PWM is not set
 433 # CONFIG_BACKLIGHT_LM3630A is not set
 434 # CONFIG_BACKLIGHT_LP855X is not set
 435 # CONFIG_BACKLIGHT_LP8788 is not set
 436
 437 #
 438 # Console display driver support
 439 #
 440 CONFIG_SND_DMAENGINE_PCM=m
 441 CONFIG_SND_COMPRESS_OFFLOAD=m
 442 # CONFIG_SND_ALI5451 is not set
 443
 444 #
 445 # HD-Audio
 446 #
 447 CONFIG_SND_SOC=m
 448 CONFIG_SND_SOC_GENERIC_DMAENGINE_PCM=y
 449 CONFIG_SND_ATMEL_SOC=m
 450 CONFIG_SND_DESIGNWARE_I2S=m
 451
 452 #
 453 # Common SoC Audio options for Freescale CPUs:
 454 #
 455 CONFIG_SND_SOC_FSL_ASRC=m
 456 CONFIG_SND_SOC_FSL_SAI=m
 457 CONFIG_SND_SOC_FSL_SSI=m
 458 CONFIG_SND_SOC_FSL_SPDIF=m
 459 CONFIG_SND_SOC_FSL_ESAI=m
 460 CONFIG_SND_SOC_IMX_AUDMUX=m
 461 CONFIG_SND_SOC_I2C_AND_SPI=m
 462
 463 #
 464 # CODEC drivers
 465 #
 466 CONFIG_SND_SOC_ADAU1701=m
 467 CONFIG_SND_SOC_AK4554=m
 468 CONFIG_SND_SOC_AK4642=m
 469 CONFIG_SND_SOC_AK5386=m
 470 CONFIG_SND_SOC_ALC5623=m
 471 CONFIG_SND_SOC_CS35L32=m
 472 CONFIG_SND_SOC_CS42L52=m
 473 CONFIG_SND_SOC_CS42L56=m
 474 CONFIG_SND_SOC_CS42L73=m
 475 CONFIG_SND_SOC_CS4265=m
 476 CONFIG_SND_SOC_CS4270=m
 477 CONFIG_SND_SOC_CS4271=m
 478 CONFIG_SND_SOC_CS42XX8=m
 479 CONFIG_SND_SOC_CS42XX8_I2C=m
 480 CONFIG_SND_SOC_HDMI_CODEC=m
 481 CONFIG_SND_SOC_ES8328=m
 482 CONFIG_SND_SOC_PCM1681=m
 483 CONFIG_SND_SOC_PCM512x=m
 484 CONFIG_SND_SOC_PCM512x_I2C=m
 485 CONFIG_SND_SOC_SGTL5000=m
 486 CONFIG_SND_SOC_SIGMADSP=m
 487 CONFIG_SND_SOC_SIGMADSP_I2C=m
 488 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
 489 CONFIG_SND_SOC_SPDIF=m
 490 CONFIG_SND_SOC_SSM2602=m
 491 CONFIG_SND_SOC_SSM2602_I2C=m
 492 CONFIG_SND_SOC_SSM4567=m
 493 CONFIG_SND_SOC_STA350=m
 494 CONFIG_SND_SOC_TAS2552=m
 495 CONFIG_SND_SOC_TAS5086=m
 496 CONFIG_SND_SOC_TLV320AIC31XX=m
 497 CONFIG_SND_SOC_TLV320AIC3X=m
 498 CONFIG_SND_SOC_WM8510=m
 499 CONFIG_SND_SOC_WM8523=m
 500 CONFIG_SND_SOC_WM8580=m
 501 CONFIG_SND_SOC_WM8711=m
 502 CONFIG_SND_SOC_WM8728=m
 503 CONFIG_SND_SOC_WM8731=m
 504 CONFIG_SND_SOC_WM8737=m
 505 CONFIG_SND_SOC_WM8741=m
 506 CONFIG_SND_SOC_WM8750=m
 507 CONFIG_SND_SOC_WM8753=m
 508 CONFIG_SND_SOC_WM8776=m
 509 CONFIG_SND_SOC_WM8804=m
 510 CONFIG_SND_SOC_WM8903=m
 511 CONFIG_SND_SOC_WM8962=m
 512 CONFIG_SND_SOC_WM8978=m
 513 CONFIG_SND_SOC_TPA6130A2=m
 514 CONFIG_SND_SIMPLE_CARD=m
 515
 516 #
 517 # USB Imaging devices
 518 #
 519 CONFIG_USB_MUSB_DSPS=m
 520 CONFIG_USB_MUSB_AM335X_CHILD=m
 521
 522 #
 523 # USB Physical Layer drivers
 524 #
 525 CONFIG_USB_ULPI=y
 526
 527 #
 528 # LED drivers
 529 #
 530 CONFIG_LEDS_PWM=m
 531
 532 #
 533 # LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
 534 #
 535 CONFIG_LEDS_SYSCON=y
 536
 537 #
 538 # I2C RTC drivers
 539 #
 540 CONFIG_RTC_DRV_AS3722=m
 541 CONFIG_RTC_DRV_HYM8563=m
 542 CONFIG_RTC_DRV_RK808=m
 543
 544 #
 545 # on-CPU RTC drivers
 546 #
 547 CONFIG_RTC_DRV_SNVS=m
 548
 549 #
 550 # DMA Devices
 551 #
 552 # CONFIG_DW_DMAC is not set
 553 CONFIG_FSL_EDMA=m
 554 CONFIG_DMA_VIRTUAL_CHANNELS=m
 555 CONFIG_DMA_OF=y
 556
 557 #
 558 # Common Clock Framework
 559 #
 560 CONFIG_COMMON_CLK_RK808=m
 561 CONFIG_COMMON_CLK_SI570=m
 562 CONFIG_COMMON_CLK_QCOM=m
 563 CONFIG_APQ_GCC_8084=m
 564 CONFIG_APQ_MMCC_8084=m
 565 CONFIG_IPQ_GCC_806X=m
 566 CONFIG_MSM_GCC_8660=m
 567 CONFIG_MSM_GCC_8960=m
 568 CONFIG_MSM_MMCC_8960=m
 569 CONFIG_MSM_GCC_8974=m
 570 CONFIG_MSM_MMCC_8974=m
 571
 572 #
 573 # Clock Source drivers
 574 #
 575 CONFIG_CLKSRC_OF=y
 576 CONFIG_CLKSRC_MMIO=y
 577 CONFIG_CLKSRC_VERSATILE=y
 578 CONFIG_OF_IOMMU=y
 579
 580 #
 581 # Analog to digital converters
 582 #
 583 CONFIG_VF610_ADC=m
 584
 585 #
 586 # Digital to analog converters
 587 #
 588 CONFIG_MAX5821=m
 589
 590 #
 591 # Temperature sensors
 592 #
 593 CONFIG_PWM=y
 594 CONFIG_PWM_SYSFS=y
 595 CONFIG_IRQCHIP=y
 596
 597 #
 598 # RCU Debugging
 599 #
 600 # CONFIG_FTRACE_SYSCALLS is not set
 601
 602 #
 603 # Runtime Testing
 604 #
 605 # CONFIG_DEBUG_SET_MODULE_RONX is not set
 606
 607 #
 608 # Logging Options
 609 #
 610 CONFIG_LSM_MMAP_MIN_ADDR=32768
 611
 612 #
 613 # Crypto core or helper
 614 #
 615 CONFIG_CRYPTO_GF128MUL=m
 616
 617 #
 618 # Block modes
 619 #
 620 CONFIG_CRYPTO_LRW=m
 621 CONFIG_CRYPTO_XTS=m
 622
 623 #
 624 # Library routines
 625 #
 626 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
 627 CONFIG_AUDIT_GENERIC=y
 628 CONFIG_LIBFDT=y