1
0
linux/debian/config/amd64/config.cloud-amd64
Konstantin Demin c3d09a3e94 initial commit
imported from https://salsa.debian.org/kernel-team/linux.git
commit 9d5cc9d9d6501d7f1dd7e194d4b245bd0b6c6a22
version 6.11.4-1
2024-10-23 12:12:30 +03:00

56 lines
1.1 KiB
Plaintext

##
## file: arch/x86/Kconfig
##
# CONFIG_X86_MPPARSE is not set
# CONFIG_X86_EXTENDED_PLATFORM is not set
# CONFIG_X86_INTEL_LPSS is not set
# CONFIG_X86_AMD_PLATFORM_DEVICE is not set
# CONFIG_IOSF_MBI is not set
# CONFIG_GART_IOMMU is not set
#. XXX
# CONFIG_X86_MCE is not set
# CONFIG_X86_16BIT is not set
# CONFIG_AMD_NUMA is not set
# CONFIG_NUMA_EMU is not set
# CONFIG_ISA_DMA_API is not set
# CONFIG_ISA is not set
# CONFIG_X86_X32_ABI is not set
##
## file: arch/x86/xen/Kconfig
##
# CONFIG_XEN_DOM0 is not set
##
## file: drivers/firmware/google/Kconfig
##
CONFIG_GOOGLE_COREBOOT_TABLE=m
CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m
##
## file: drivers/hwmon/Kconfig
##
# CONFIG_I8K is not set
##
## file: drivers/infiniband/hw/usnic/Kconfig
##
# CONFIG_INFINIBAND_USNIC is not set
##
## file: drivers/platform/x86/Kconfig
##
# CONFIG_X86_PLATFORM_DEVICES is not set
##
## file: drivers/platform/x86/dell/Kconfig
##
# CONFIG_DCDBAS is not set
# CONFIG_DELL_RBU is not set
##
## file: drivers/watchdog/Kconfig
##
CONFIG_I6300ESB_WDT=m
# CONFIG_PCIPCWATCHDOG is not set