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