CONFIG_ACPI_ARM=y

CONFIG_ACPI=y

CONFIG_ACPI_BUTTON=y

CONFIG_ACPI_FAN=y

CONFIG_ACPI_THERMAL=y

CONFIG_ACPI_REDUCED_HARDWARE=y

CONFIG_ACPI_USE_CHOSEN_NODE=y

CONFIG_PNP_DEBUG_MESSAGES=y

CONFIG_NET_SB1000=n

CONFIG_I2C_SCMI=n

CONFIG_SENSORS_ACPI_POWER=y

CONFIG_ACPI_PROCFS=y

CONFIG_ACPI_EC_DEBUGFS=n

CONFIG_ACPI_DOCK=n

CONFIG_ACPI_IPMI=y

CONFIG_ACPI_CONTAINER=y

CONFIG_ACPI_HED=m

CONFIG_ACPI_CUSTOM_METHOD=y

# CONFIG_ACPI_EC_DEBUGFS is not set

# for PL011 ACPI console

CONFIG_SBSAUART_TTY=y

# for Mustang ACPI console

CONFIG_SERIAL_8250_DW=y

#

# mods for EFI

#

CONFIG_EFI_STUB=y

CONFIG_RTC_DRV_EFI=y

CONFIG_RTC_DRV_XGENE=n

#virtualization features

CONFIG_GPIO_PL061=y

# CONFIG_COMPAT is not set

#

# APM-XGENE 

#

CONFIG_POWER_RESET_SYSCON=y

CONFIG_POWER_RESET_XGENE=n

CONFIG_COMMON_CLK_XGENE=y

CONFIG_PHY_XGENE=y

CONFIG_AHCI_XGENE=y

CONFIG_NET_XGENE=y

CONFIG_PCI_XGENE=y

CONFIG_HOTPLUG_PCI=y

# CONFIG_HOTPLUG_PCI_CPCI is not set

# CONFIG_HOTPLUG_PCI_SHPC is not set

#

# RH-specific changes

#

CONFIG_ARM64_64K_PAGES=y

CONFIG_NR_CPUS=4096

#

# 3.15-rc7 fixes/workarounds

#

CONFIG_PWM_LPSS=n

CONFIG_IMX_THERMAL=n

CONFIG_ACPI_PROCFS_POWER=n

#

# AMD 10GbE device support

#

CONFIG_NET_VENDOR_AMD=y

CONFIG_AMD_XGBE=y

CONFIG_AMD_XGBE_PHY=y

CONFIG_AMD_XGBE_DCB=n

#

# AMD Seattle AHCI platform driver

#

# FIXME - Dracut won't pick this up without a patch - build in for the moment

CONFIG_SATA_AHCI_PLATFORM=y

# Support for Seattle MMC

CONFIG_SPI=y

CONFIG_SPI_MASTER=y

CONFIG_MMC_SPI=y

# CONFIG_TI_ADC128S052 is not set

#

# Mellanox PCIe drivers

#

CONFIG_NET_VENDOR_MELLANOX=y

CONFIG_MLX4_EN=m

CONFIG_MLX4_EN_DCB=y

CONFIG_MLX4_CORE=m

CONFIG_MLX4_DEBUG=y

CONFIG_MLX5_CORE=m

# 3.17-rc3 configs not in Fedora configs

# CONFIG_NO_HZ_FULL_SYSIDLE is not set

# CONFIG_CONTEXT_TRACKING_FORCE is not set

# CONFIG_IP_VS_NFCT is not set

CONFIG_NF_NAT_IPV4=m

CONFIG_NF_NAT_IPV6=m

# config-arm64 overrides config-generic-redhat

#  so duplicate it here

CONFIG_LOG_BUF_SHIFT=19

# CONFIG_USER_NS is not set

# Disable legacy and non-server items for arm64

# CONFIG_RKFILL is not set

# CONFIG_IEEE802154 is not set

# COFIG_IEEE802154_DRIVERS is not set

# CONFIG_BLK_DEV_SX8 is not set

# CONFIG_SLIP is not set

# CONFIG_WLAN is not set

# CONFIG_INPUT_TABLET is not set

# CONFIG_INPUT_TOUCHSCREEN is not set

# CONFIG_INPUT_MISC is not set

# CONFIG_INPUT_MOUSE is not set

# CONFIG_INPUT_KEYBOARD is not set

# CONFIG_SERIAL_NONSTANDARD is not set

# CONFIG_NOZOMI is not set

# CONFIG_GPIO_VIPERBOARD is not set

# CONFIG_SSB is not set

# CONFIG_MEDIA_SUPPORT is not set

# CONFIG_STAGING is not set

# CONFIG_AIX_PARTITION is not set

# CONFIG_AMIGA_PARTITION is not set

# CONFIG_KARMA_PARTITION is not set

# CONFIG_UNIXWARE_DISKLABEL is not set

# CONFIG_MAC_PARTITION is not set

# CONFIG_MINIX_SUBPARTITION is not set

# CONFIG_OSF_PARTITION is not set

# CONFIG_SGI_PARTITION is not set

# CONFIG_SOLARIS_X86_PARTITION is not set

# CONFIG_SUN_PARTITION is not set

# CONFIG_PATA_PLATFORM is not set

# CONFIG_PATA_ACPI is not set

# CONFIG_PATA_ALI is not set

# CONFIG_PATA_AMD is not set

# CONFIG_PATA_ARASAN_CF is not set

# CONFIG_PATA_ARTOP is not set

# CONFIG_PATA_ATIIXP is not set

# CONFIG_PATA_CMD640_PCI is not set

# CONFIG_PATA_CMD64X is not set

# CONFIG_PATA_CS5520 is not set

# CONFIG_PATA_CS5530 is not set

# CONFIG_PATA_CS5535 is not set

# CONFIG_PATA_CS5536 is not set

# CONFIG_PATA_CYPRESS is not set

# CONFIG_PATA_EFAR is not set

# CONFIG_PATA_HPT366 is not set

# CONFIG_PATA_HPT37X is not set

# CONFIG_PATA_HPT3X2N is not set

# CONFIG_PATA_HPT3X3 is not set

# CONFIG_PATA_IT821X is not set

# CONFIG_PATA_IT8213 is not set

# CONFIG_PATA_JMICRON is not set

# CONFIG_PATA_NINJA32 is not set

# CONFIG_PATA_MARVELL is not set

# CONFIG_PATA_MPIIX is not set

# CONFIG_PATA_NETCELL is not set

# CONFIG_PATA_NS87410 is not set

# CONFIG_PATA_NS87415 is not set

# CONFIG_PATA_OLDPIIX is not set

# CONFIG_PATA_OPTI is not set

# CONFIG_PATA_OPTIDMA is not set

# CONFIG_PATA_PCMCIA is not set

# CONFIG_PATA_PDC_OLD is not set

# CONFIG_PATA_RDC is not set

# CONFIG_PATA_SERVERWORKS is not set

# CONFIG_PATA_PDC2027X is not set

# CONFIG_PATA_SCH is not set

# CONFIG_PATA_SIL680 is not set

# CONFIG_PATA_SIS is not set

# CONFIG_PATA_TOSHIBA is not set

# CONFIG_PATA_TRIFLEX is not set

# CONFIG_PATA_VIA is not set

# CONFIG_PATA_WINBOND is not set

# CONFIG_PATA_ATP867X is not set

# CONFIG_SERIAL_ARC is not set

# CONFIG_SERIAL_JSM is not set

# CONFIG_MFD_VEXPRESS_SYSREG is not set

# CONFIG_MFD_CORE is not set

# CONFIG_MFD_SUPPORT is not set

# CONFIG_MFD_VX855 is not set

# CONFIG_MFD_SM501 is not set

# CONFIG_MFD_SM501_GPIO is not set

# CONFIG_MFD_RTSX_PCI is not set

# CONFIG_MFD_RTSX_USB is not set

# CONFIG_MFD_VIPERBOARD is not set

# CONFIG_MFD_WM8350_CONFIG_MODE_0 is not set

# miscellanous stuff that needs a top level designation

# CONFIG_TIFM_7XX1 is not set

# CONFIG_APDS9802ALS is not set

# CONFIG_ISL29003 is not set

# CONFIG_ISL29020 is not set

# CONFIG_SENSORS_TSL2550 is not set

# CONFIG_SENSORS_BH1770 is not set

# CONFIG_SENSORS_APDS990X is not set

# CONFIG_SENSORS_LIS3_I2C is not set

# CONFIG_ALTERA_STAPL is not set

# CONFIG_CRYPTO_842 is not set