##
## file: arch/Kconfig
##
# CONFIG_STATIC_KEYS_SELFTEST is not set
# CONFIG_STATIC_CALL_SELFTEST is not set

##
## 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=m
CONFIG_HYPERVISOR_GUEST=y
CONFIG_PARAVIRT=y
# CONFIG_PARAVIRT_DEBUG is not set
CONFIG_PARAVIRT_SPINLOCKS=y
CONFIG_KVM_GUEST=y
CONFIG_ARCH_CPUIDLE_HALTPOLL=y
CONFIG_PVH=y
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
CONFIG_JAILHOUSE_GUEST=y
CONFIG_ACRN_GUEST=y
CONFIG_INTEL_TDX_GUEST=y
# CONFIG_GART_IOMMU is not set
CONFIG_NR_CPUS=512
# CONFIG_X86_MCE_INJECT is not set
CONFIG_X86_5LEVEL=y
# CONFIG_AMD_NUMA is not set
# CONFIG_NUMA_EMU is not set
CONFIG_NODES_SHIFT=10
# CONFIG_X86_PMEM_LEGACY is not set
# CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
## choice: TSX enable mode
CONFIG_X86_INTEL_TSX_MODE_OFF=y
# CONFIG_X86_INTEL_TSX_MODE_AUTO is not set
## end choice
# CONFIG_MODIFY_LDT_SYSCALL is not set

##
## file: arch/x86/Kconfig.cpu
##
CONFIG_X86_64_VERSION=1

##
## file: arch/x86/Kconfig.debug
##
# CONFIG_X86_DECODER_SELFTEST is not set
## choice: IO delay type
# CONFIG_IO_DELAY_UDELAY is not set
CONFIG_IO_DELAY_NONE=y
## end choice

##
## file: arch/x86/kvm/Kconfig
##
# CONFIG_KVM_XEN is not set

##
## file: arch/x86/ras/Kconfig
##
# CONFIG_RAS_CEC is not set

##
## file: arch/x86/xen/Kconfig
##
CONFIG_XEN=y
CONFIG_XEN_PV=y
CONFIG_XEN_512GB=y
CONFIG_XEN_PVHVM_GUEST=y
# CONFIG_XEN_DEBUG_FS is not set
CONFIG_XEN_PVH=y
# CONFIG_XEN_DOM0 is not set
CONFIG_XEN_PV_MSR_SAFE=y

##
## file: block/Kconfig
##
# CONFIG_BLK_CGROUP_IOLATENCY is not set
# CONFIG_BLK_CGROUP_FC_APPID is not set
# CONFIG_BLK_CGROUP_IOPRIO is not set
# CONFIG_BLK_DEBUG_FS is not set
# CONFIG_BLK_INLINE_ENCRYPTION is not set

##
## file: block/partitions/Kconfig
##
# CONFIG_ACORN_PARTITION is not set
# CONFIG_AIX_PARTITION is not set
# CONFIG_OSF_PARTITION is not set
# CONFIG_AMIGA_PARTITION is not set
# CONFIG_ATARI_PARTITION is not set
# CONFIG_MAC_PARTITION is not set
# CONFIG_MINIX_SUBPARTITION is not set
# CONFIG_SOLARIS_X86_PARTITION is not set
# CONFIG_UNIXWARE_DISKLABEL is not set
# CONFIG_LDM_DEBUG is not set
# CONFIG_SGI_PARTITION is not set
# CONFIG_ULTRIX_PARTITION is not set
# CONFIG_SUN_PARTITION is not set
# CONFIG_KARMA_PARTITION is not set
# CONFIG_SYSV68_PARTITION is not set

##
## file: certs/Kconfig
##
# CONFIG_SECONDARY_TRUSTED_KEYRING is not set
# CONFIG_SYSTEM_BLACKLIST_KEYRING is not set

##
## file: crypto/Kconfig
##
CONFIG_CRYPTO_ECDH=m
CONFIG_CRYPTO_ECDSA=m
CONFIG_CRYPTO_CTS=m
CONFIG_CRYPTO_XTS=m
CONFIG_CRYPTO_DEFLATE=m
CONFIG_CRYPTO_842=m
CONFIG_CRYPTO_LZ4=m
CONFIG_CRYPTO_LZ4HC=m
CONFIG_CRYPTO_ZSTD=m

##
## file: drivers/accessibility/Kconfig
##
# CONFIG_ACCESSIBILITY is not set

##
## file: drivers/acpi/Kconfig
##
# CONFIG_ACPI_DEBUGGER is not set
# CONFIG_ACPI_EC_DEBUGFS is not set
# CONFIG_ACPI_AC is not set
# CONFIG_ACPI_BATTERY is not set
# CONFIG_ACPI_DOCK is not set
# CONFIG_ACPI_DEBUG is not set
# CONFIG_ACPI_FFH is not set

##
## file: drivers/acpi/apei/Kconfig
##
# CONFIG_ACPI_APEI_EINJ is not set
# CONFIG_ACPI_APEI_ERST_DEBUG is not set

##
## file: drivers/android/Kconfig
##
# CONFIG_ANDROID_BINDER_IPC is not set

##
## file: drivers/ata/Kconfig
##
CONFIG_ATA=m
# CONFIG_ATA_ACPI is not set
# CONFIG_SATA_PMP is not set
# CONFIG_SATA_AHCI is not set
# CONFIG_SATA_AHCI_PLATFORM is not set
# CONFIG_AHCI_DWC is not set
# CONFIG_SATA_ACARD_AHCI is not set
# CONFIG_SATA_SIL24 is not set
# CONFIG_PDC_ADMA is not set
# CONFIG_SATA_QSTOR is not set
# CONFIG_SATA_SX4 is not set
# CONFIG_SATA_DWC is not set
# CONFIG_SATA_MV is not set
# CONFIG_SATA_NV is not set
# CONFIG_SATA_PROMISE is not set
# CONFIG_SATA_SIL is not set
# CONFIG_SATA_SIS is not set
# CONFIG_SATA_SVW is not set
# CONFIG_SATA_ULI is not set
# CONFIG_SATA_VIA is not set
# CONFIG_SATA_VITESSE is not set
# CONFIG_PATA_ALI is not set
# CONFIG_PATA_AMD is not set
# CONFIG_PATA_ARTOP is not set
# CONFIG_PATA_ATIIXP is not set
# CONFIG_PATA_ATP867X is not set
# CONFIG_PATA_CMD64X is not set
# CONFIG_PATA_EFAR is not set
# CONFIG_PATA_HPT366 is not set
# CONFIG_PATA_HPT37X is not set
# CONFIG_PATA_IT8213 is not set
# CONFIG_PATA_IT821X is not set
# CONFIG_PATA_JMICRON is not set
# CONFIG_PATA_MARVELL is not set
# CONFIG_PATA_NETCELL is not set
# CONFIG_PATA_NINJA32 is not set
# CONFIG_PATA_NS87415 is not set
# CONFIG_PATA_OLDPIIX is not set
# CONFIG_PATA_PDC2027X is not set
# CONFIG_PATA_PDC_OLD is not set
# CONFIG_PATA_RDC is not set
# CONFIG_PATA_SCH is not set
# CONFIG_PATA_SERVERWORKS 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_MPIIX is not set
# CONFIG_PATA_NS87410 is not set
# CONFIG_PATA_RZ1000 is not set
# CONFIG_PATA_LEGACY is not set

##
## file: drivers/auxdisplay/Kconfig
##
# CONFIG_AUXDISPLAY is not set

##
## file: drivers/base/Kconfig
##
# CONFIG_DEVTMPFS_MOUNT is not set

##
## file: drivers/bcma/Kconfig
##
# CONFIG_BCMA is not set

##
## file: drivers/block/Kconfig
##
# CONFIG_ATA_OVER_ETH is not set
CONFIG_XEN_BLKDEV_FRONTEND=m
CONFIG_XEN_BLKDEV_BACKEND=m

##
## file: drivers/block/mtip32xx/Kconfig
##
# CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set

##
## file: drivers/block/rnbd/Kconfig
##
CONFIG_BLK_DEV_RNBD_CLIENT=m
CONFIG_BLK_DEV_RNBD_SERVER=m

##
## file: drivers/char/Kconfig
##
# CONFIG_APPLICOM is not set
# CONFIG_MWAVE is not set
# CONFIG_DEVPORT is not set
# CONFIG_TELCLOCK is not set

##
## file: drivers/char/agp/Kconfig
##
# CONFIG_AGP is not set

##
## file: drivers/char/hw_random/Kconfig
##
# CONFIG_HW_RANDOM_BA431 is not set
# CONFIG_HW_RANDOM_VIA is not set
# CONFIG_HW_RANDOM_XIPHERA is not set

##
## file: drivers/char/ipmi/Kconfig
##
# CONFIG_IPMI_HANDLER is not set

##
## file: drivers/char/tpm/Kconfig
##
CONFIG_TCG_TPM=m
CONFIG_TCG_TIS=m
# CONFIG_TCG_NSC is not set
# CONFIG_TCG_ATMEL is not set
# CONFIG_TCG_INFINEON is not set
CONFIG_TCG_XEN=m
CONFIG_TCG_CRB=m

##
## file: drivers/char/xillybus/Kconfig
##
# CONFIG_XILLYBUS is not set

##
## file: drivers/clk/Kconfig
##
# CONFIG_COMMON_CLK is not set

##
## file: drivers/counter/Kconfig
##
# CONFIG_COUNTER is not set

##
## file: drivers/cpufreq/Kconfig
##
## choice: Default CPUFreq governor
# CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
CONFIG_CPU_FREQ_DEFAULT_GOV_SCHEDUTIL=y
## end choice

##
## file: drivers/cpuidle/Kconfig
##
CONFIG_CPU_IDLE_GOV_HALTPOLL=y
CONFIG_HALTPOLL_CPUIDLE=y

##
## file: drivers/crypto/Kconfig
##
# CONFIG_CRYPTO_DEV_PADLOCK is not set
# CONFIG_CRYPTO_DEV_SAFEXCEL is not set

##
## file: drivers/crypto/amlogic/Kconfig
##
# CONFIG_CRYPTO_DEV_AMLOGIC_GXL is not set

##
## file: drivers/crypto/cavium/nitrox/Kconfig
##
# CONFIG_CRYPTO_DEV_NITROX_CNN55XX is not set

##
## file: drivers/crypto/intel/qat/Kconfig
##
# CONFIG_CRYPTO_DEV_QAT_DH895xCC is not set
# CONFIG_CRYPTO_DEV_QAT_C3XXX is not set
# CONFIG_CRYPTO_DEV_QAT_C62X is not set
# CONFIG_CRYPTO_DEV_QAT_4XXX is not set
# CONFIG_CRYPTO_DEV_QAT_420XX is not set
# CONFIG_CRYPTO_DEV_QAT_DH895xCCVF is not set
# CONFIG_CRYPTO_DEV_QAT_C3XXXVF is not set
# CONFIG_CRYPTO_DEV_QAT_C62XVF is not set

##
## file: drivers/cxl/Kconfig
##
CONFIG_CXL_BUS=y
# CONFIG_CXL_MEM_RAW_COMMANDS is not set

##
## file: drivers/devfreq/Kconfig
##
# CONFIG_PM_DEVFREQ is not set

##
## file: drivers/dma/Kconfig
##
# CONFIG_ALTERA_MSGDMA is not set
# CONFIG_INTEL_IDMA64 is not set
# CONFIG_INTEL_IDXD is not set
# CONFIG_INTEL_IOATDMA is not set
# CONFIG_PLX_DMA is not set
# CONFIG_XILINX_DMA is not set
# CONFIG_XILINX_XDMA is not set

##
## file: drivers/dma/dw/Kconfig
##
# CONFIG_DW_DMAC is not set
# CONFIG_DW_DMAC_PCI is not set

##
## file: drivers/dma/dw-edma/Kconfig
##
# CONFIG_DW_EDMA is not set

##
## file: drivers/dma/lgm/Kconfig
##
# CONFIG_INTEL_LDMA is not set

##
## file: drivers/dma/ptdma/Kconfig
##
# CONFIG_AMD_PTDMA is not set

##
## file: drivers/dma/qcom/Kconfig
##
# CONFIG_QCOM_HIDMA_MGMT is not set
# CONFIG_QCOM_HIDMA is not set

##
## file: drivers/dma/sf-pdma/Kconfig
##
# CONFIG_SF_PDMA is not set

##
## file: drivers/dma-buf/Kconfig
##
# CONFIG_SYNC_FILE is not set
# CONFIG_UDMABUF is not set

##
## file: drivers/edac/Kconfig
##
# CONFIG_EDAC is not set

##
## file: drivers/extcon/Kconfig
##
# CONFIG_EXTCON is not set

##
## file: drivers/firewire/Kconfig
##
# CONFIG_FIREWIRE is not set
# CONFIG_FIREWIRE_NOSY is not set

##
## file: drivers/firmware/Kconfig
##
CONFIG_DMI_SYSFS=m

##
## file: drivers/firmware/efi/Kconfig
##
# CONFIG_EFI_TEST is not set
# CONFIG_EFI_RCI2_TABLE is not set

##
## file: drivers/firmware/google/Kconfig
##
CONFIG_GOOGLE_SMI=m
CONFIG_GOOGLE_COREBOOT_TABLE=m
# CONFIG_GOOGLE_MEMCONSOLE_X86_LEGACY is not set
CONFIG_GOOGLE_FRAMEBUFFER_COREBOOT=m
CONFIG_GOOGLE_VPD=m

##
## file: drivers/gnss/Kconfig
##
# CONFIG_GNSS is not set

##
## file: drivers/gpio/Kconfig
##
# CONFIG_GPIOLIB is not set

##
## file: drivers/gpu/drm/Kconfig
##
# CONFIG_DRM is not set

##
## file: drivers/gpu/vga/Kconfig
##
# CONFIG_VGA_SWITCHEROO is not set

##
## file: drivers/greybus/Kconfig
##
# CONFIG_GREYBUS is not set

##
## file: drivers/hid/Kconfig
##
# CONFIG_HID_SUPPORT is not set

##
## file: drivers/hsi/Kconfig
##
# CONFIG_HSI is not set

##
## file: drivers/hte/Kconfig
##
# CONFIG_HTE is not set

##
## file: drivers/hv/Kconfig
##
CONFIG_HYPERV=m
# CONFIG_HYPERV_VTL_MODE is not set
CONFIG_HYPERV_UTILS=m
CONFIG_HYPERV_BALLOON=m

##
## file: drivers/hwmon/Kconfig
##
CONFIG_HWMON=m
# CONFIG_SENSORS_ABITUGURU is not set
# CONFIG_SENSORS_ABITUGURU3 is not set
# CONFIG_SENSORS_AS370 is not set
# CONFIG_SENSORS_AXI_FAN_CONTROL is not set
# CONFIG_SENSORS_K8TEMP is not set
# CONFIG_SENSORS_K10TEMP is not set
# CONFIG_SENSORS_FAM15H_POWER is not set
# CONFIG_SENSORS_APPLESMC is not set
# CONFIG_SENSORS_DRIVETEMP is not set
# CONFIG_SENSORS_I5K_AMB is not set
# CONFIG_SENSORS_F71805F is not set
# CONFIG_SENSORS_F71882FG is not set
# CONFIG_SENSORS_I5500 is not set
# CONFIG_SENSORS_CORETEMP is not set
# CONFIG_SENSORS_IT87 is not set
# CONFIG_SENSORS_LENOVO_EC is not set
# CONFIG_SENSORS_MAX197 is not set
# CONFIG_SENSORS_MR75203 is not set
# CONFIG_SENSORS_PC87360 is not set
# CONFIG_SENSORS_PC87427 is not set
# CONFIG_SENSORS_NCT6683 is not set
# CONFIG_SENSORS_NCT6775 is not set
# CONFIG_SENSORS_NPCM7XX is not set
# CONFIG_SENSORS_OXP is not set
# CONFIG_SENSORS_SIS5595 is not set
# CONFIG_SENSORS_SMSC47M1 is not set
# CONFIG_SENSORS_SMSC47B397 is not set
# CONFIG_SENSORS_SCH5627 is not set
# CONFIG_SENSORS_SCH5636 is not set
# CONFIG_SENSORS_VIA_CPUTEMP is not set
# CONFIG_SENSORS_VIA686A is not set
# CONFIG_SENSORS_VT1211 is not set
# CONFIG_SENSORS_VT8231 is not set
# CONFIG_SENSORS_W83627HF is not set
# CONFIG_SENSORS_W83627EHF is not set
# CONFIG_SENSORS_ATK0110 is not set
# CONFIG_SENSORS_ASUS_EC is not set

##
## file: drivers/hwtracing/intel_th/Kconfig
##
# CONFIG_INTEL_TH is not set

##
## file: drivers/i2c/Kconfig
##
# CONFIG_I2C is not set

##
## file: drivers/i3c/Kconfig
##
# CONFIG_I3C is not set

##
## file: drivers/infiniband/Kconfig
##
CONFIG_INFINIBAND=m
CONFIG_INFINIBAND_USER_MAD=m
CONFIG_INFINIBAND_USER_ACCESS=m
CONFIG_INFINIBAND_ON_DEMAND_PAGING=y
CONFIG_INFINIBAND_ADDR_TRANS=y

##
## file: drivers/infiniband/hw/efa/Kconfig
##
CONFIG_INFINIBAND_EFA=m

##
## file: drivers/infiniband/hw/erdma/Kconfig
##
CONFIG_INFINIBAND_ERDMA=m

##
## file: drivers/infiniband/hw/mana/Kconfig
##
CONFIG_MANA_INFINIBAND=m

##
## file: drivers/infiniband/hw/mlx4/Kconfig
##
CONFIG_MLX4_INFINIBAND=m

##
## file: drivers/infiniband/hw/mthca/Kconfig
##
CONFIG_INFINIBAND_MTHCA=m
# CONFIG_INFINIBAND_MTHCA_DEBUG is not set

##
## file: drivers/infiniband/hw/ocrdma/Kconfig
##
CONFIG_INFINIBAND_OCRDMA=m

##
## file: drivers/infiniband/hw/qib/Kconfig
##
# CONFIG_INFINIBAND_QIB is not set

##
## file: drivers/infiniband/hw/usnic/Kconfig
##
CONFIG_INFINIBAND_USNIC=m

##
## file: drivers/infiniband/hw/vmw_pvrdma/Kconfig
##
CONFIG_INFINIBAND_VMWARE_PVRDMA=m

##
## file: drivers/infiniband/sw/rdmavt/Kconfig
##
CONFIG_INFINIBAND_RDMAVT=m

##
## file: drivers/infiniband/sw/rxe/Kconfig
##
CONFIG_RDMA_RXE=m

##
## file: drivers/infiniband/sw/siw/Kconfig
##
CONFIG_RDMA_SIW=m

##
## file: drivers/infiniband/ulp/ipoib/Kconfig
##
CONFIG_INFINIBAND_IPOIB=m
# CONFIG_INFINIBAND_IPOIB_CM is not set
# CONFIG_INFINIBAND_IPOIB_DEBUG is not set

##
## file: drivers/infiniband/ulp/iser/Kconfig
##
CONFIG_INFINIBAND_ISER=m

##
## file: drivers/infiniband/ulp/opa_vnic/Kconfig
##
CONFIG_INFINIBAND_OPA_VNIC=m

##
## file: drivers/infiniband/ulp/rtrs/Kconfig
##
CONFIG_INFINIBAND_RTRS_CLIENT=m
CONFIG_INFINIBAND_RTRS_SERVER=m

##
## file: drivers/infiniband/ulp/srp/Kconfig
##
CONFIG_INFINIBAND_SRP=m

##
## file: drivers/infiniband/ulp/srpt/Kconfig
##
CONFIG_INFINIBAND_SRPT=m

##
## file: drivers/input/Kconfig
##
# CONFIG_INPUT_FF_MEMLESS is not set
# CONFIG_INPUT_MOUSEDEV is not set
# CONFIG_INPUT_JOYDEV is not set

##
## file: drivers/input/gameport/Kconfig
##
# CONFIG_GAMEPORT is not set

##
## file: drivers/input/joystick/Kconfig
##
# CONFIG_INPUT_JOYSTICK is not set

##
## file: drivers/input/keyboard/Kconfig
##
# CONFIG_KEYBOARD_LKKBD is not set
# CONFIG_KEYBOARD_NEWTON is not set
# CONFIG_KEYBOARD_OPENCORES is not set
# CONFIG_KEYBOARD_STOWAWAY is not set
# CONFIG_KEYBOARD_SUNKBD is not set
# CONFIG_KEYBOARD_XTKBD is not set

##
## file: drivers/input/misc/Kconfig
##
# CONFIG_INPUT_MISC is not set

##
## file: drivers/input/mouse/Kconfig
##
# CONFIG_INPUT_MOUSE is not set

##
## file: drivers/input/rmi4/Kconfig
##
# CONFIG_RMI4_CORE is not set

##
## file: drivers/input/serio/Kconfig
##
# CONFIG_SERIO_SERPORT is not set
# CONFIG_SERIO_CT82C710 is not set
# CONFIG_SERIO_PCIPS2 is not set
# CONFIG_SERIO_ALTERA_PS2 is not set
# CONFIG_SERIO_PS2MULT is not set
# CONFIG_SERIO_ARC_PS2 is not set
CONFIG_HYPERV_KEYBOARD=m
# CONFIG_USERIO is not set

##
## file: drivers/input/tablet/Kconfig
##
# CONFIG_INPUT_TABLET is not set

##
## file: drivers/input/touchscreen/Kconfig
##
# CONFIG_INPUT_TOUCHSCREEN is not set

##
## file: drivers/interconnect/Kconfig
##
# CONFIG_INTERCONNECT is not set

##
## file: drivers/iommu/Kconfig
##
CONFIG_HYPERV_IOMMU=y
CONFIG_VIRTIO_IOMMU=y

##
## file: drivers/iommu/iommufd/Kconfig
##
# CONFIG_IOMMUFD is not set

##
## file: drivers/irqchip/Kconfig
##
# CONFIG_LAN966X_OIC is not set

##
## file: drivers/isdn/Kconfig
##
# CONFIG_ISDN is not set

##
## file: drivers/leds/Kconfig
##
# CONFIG_NEW_LEDS is not set

##
## file: drivers/macintosh/Kconfig
##
# CONFIG_MACINTOSH_DRIVERS is not set

##
## file: drivers/mailbox/Kconfig
##
# CONFIG_ALTERA_MBOX is not set

##
## file: drivers/md/Kconfig
##
# CONFIG_MD_RAID0 is not set
# CONFIG_MD_RAID1 is not set
# CONFIG_MD_RAID10 is not set
# CONFIG_MD_RAID456 is not set
# CONFIG_DM_EBS is not set
# CONFIG_DM_CLONE is not set
# CONFIG_DM_RAID is not set
# CONFIG_DM_DUST is not set
# CONFIG_DM_FLAKEY is not set
CONFIG_DM_VERITY_VERIFY_ROOTHASH_SIG=y

##
## file: drivers/md/bcache/Kconfig
##
# CONFIG_BCACHE is not set

##
## file: drivers/media/Kconfig
##
# CONFIG_MEDIA_SUPPORT is not set

##
## file: drivers/media/cec/Kconfig
##
# CONFIG_MEDIA_CEC_SUPPORT is not set

##
## file: drivers/memory/Kconfig
##
# CONFIG_MEMORY is not set

##
## file: drivers/memstick/Kconfig
##
# CONFIG_MEMSTICK is not set

##
## file: drivers/message/fusion/Kconfig
##
CONFIG_FUSION_FC=m

##
## file: drivers/mfd/Kconfig
##
# CONFIG_MFD_MADERA is not set
# CONFIG_MFD_INTEL_LPSS_ACPI is not set
# CONFIG_MFD_INTEL_LPSS_PCI is not set
# CONFIG_MFD_JANZ_CMODIO is not set
# CONFIG_MFD_KEMPLD is not set
# CONFIG_MFD_MT6397 is not set
# CONFIG_MFD_RDC321X is not set
# CONFIG_MFD_SM501 is not set
# CONFIG_MFD_SYSCON is not set
# CONFIG_MFD_TQMX86 is not set
# CONFIG_MFD_VX855 is not set
# CONFIG_RAVE_SP_CORE is not set
# CONFIG_MFD_STEAMDECK is not set

##
## file: drivers/misc/Kconfig
##
# CONFIG_IBM_ASM is not set
# CONFIG_PHANTOM is not set
# CONFIG_TIFM_CORE is not set
# CONFIG_ENCLOSURE_SERVICES is not set
# CONFIG_HP_ILO is not set
CONFIG_VMWARE_BALLOON=m
# CONFIG_SRAM is not set
# CONFIG_DW_XDATA_PCIE is not set
# CONFIG_XILINX_SDFEC is not set
# CONFIG_NTSYNC is not set

##
## file: drivers/misc/bcm-vk/Kconfig
##
# CONFIG_BCM_VK is not set

##
## file: drivers/misc/c2port/Kconfig
##
# CONFIG_C2PORT is not set

##
## file: drivers/misc/cardreader/Kconfig
##
# CONFIG_MISC_ALCOR_PCI is not set
# CONFIG_MISC_RTSX_PCI is not set

##
## file: drivers/misc/cb710/Kconfig
##
# CONFIG_CB710_CORE is not set

##
## file: drivers/misc/eeprom/Kconfig
##
# CONFIG_EEPROM_93CX6 is not set

##
## file: drivers/misc/keba/Kconfig
##
# CONFIG_KEBA_CP500 is not set

##
## file: drivers/misc/mei/Kconfig
##
# CONFIG_INTEL_MEI is not set

##
## file: drivers/mmc/Kconfig
##
# CONFIG_MMC is not set

##
## file: drivers/most/Kconfig
##
# CONFIG_MOST is not set

##
## file: drivers/mtd/Kconfig
##
# CONFIG_MTD is not set

##
## file: drivers/net/Kconfig
##
CONFIG_XEN_NETDEV_FRONTEND=m
CONFIG_XEN_NETDEV_BACKEND=m
# CONFIG_FUJITSU_ES is not set

##
## file: drivers/net/ethernet/Kconfig
##
# CONFIG_CX_ECAT is not set
# CONFIG_DNET is not set
# CONFIG_JME is not set
# CONFIG_FEALNX is not set
# CONFIG_ETHOC is not set

##
## file: drivers/net/ethernet/3com/Kconfig
##
# CONFIG_NET_VENDOR_3COM is not set

##
## file: drivers/net/ethernet/adaptec/Kconfig
##
# CONFIG_NET_VENDOR_ADAPTEC is not set

##
## file: drivers/net/ethernet/agere/Kconfig
##
# CONFIG_NET_VENDOR_AGERE is not set

##
## file: drivers/net/ethernet/alacritech/Kconfig
##
# CONFIG_NET_VENDOR_ALACRITECH is not set

##
## file: drivers/net/ethernet/alteon/Kconfig
##
# CONFIG_NET_VENDOR_ALTEON is not set

##
## file: drivers/net/ethernet/altera/Kconfig
##
# CONFIG_ALTERA_TSE is not set

##
## file: drivers/net/ethernet/amazon/Kconfig
##
CONFIG_NET_VENDOR_AMAZON=y
CONFIG_ENA_ETHERNET=m

##
## file: drivers/net/ethernet/amd/Kconfig
##
# CONFIG_NET_VENDOR_AMD is not set

##
## file: drivers/net/ethernet/aquantia/Kconfig
##
# CONFIG_NET_VENDOR_AQUANTIA is not set

##
## file: drivers/net/ethernet/arc/Kconfig
##
# CONFIG_NET_VENDOR_ARC is not set

##
## file: drivers/net/ethernet/asix/Kconfig
##
# CONFIG_NET_VENDOR_ASIX is not set

##
## file: drivers/net/ethernet/atheros/Kconfig
##
# CONFIG_NET_VENDOR_ATHEROS is not set

##
## file: drivers/net/ethernet/broadcom/Kconfig
##
# CONFIG_NET_VENDOR_BROADCOM is not set

##
## file: drivers/net/ethernet/brocade/Kconfig
##
# CONFIG_NET_VENDOR_BROCADE is not set

##
## file: drivers/net/ethernet/cadence/Kconfig
##
# CONFIG_NET_VENDOR_CADENCE is not set

##
## file: drivers/net/ethernet/cavium/Kconfig
##
# CONFIG_NET_VENDOR_CAVIUM is not set

##
## file: drivers/net/ethernet/chelsio/Kconfig
##
# CONFIG_NET_VENDOR_CHELSIO is not set

##
## file: drivers/net/ethernet/cortina/Kconfig
##
# CONFIG_NET_VENDOR_CORTINA is not set

##
## file: drivers/net/ethernet/davicom/Kconfig
##
# CONFIG_NET_VENDOR_DAVICOM is not set

##
## file: drivers/net/ethernet/dec/Kconfig
##
# CONFIG_NET_VENDOR_DEC is not set

##
## file: drivers/net/ethernet/dlink/Kconfig
##
# CONFIG_NET_VENDOR_DLINK is not set

##
## file: drivers/net/ethernet/emulex/benet/Kconfig
##
CONFIG_BE2NET=m
CONFIG_BE2NET_HWMON=y
CONFIG_BE2NET_BE2=y
CONFIG_BE2NET_BE3=y
CONFIG_BE2NET_LANCER=y
CONFIG_BE2NET_SKYHAWK=y

##
## file: drivers/net/ethernet/engleder/Kconfig
##
# CONFIG_NET_VENDOR_ENGLEDER is not set

##
## file: drivers/net/ethernet/ezchip/Kconfig
##
# CONFIG_NET_VENDOR_EZCHIP is not set

##
## file: drivers/net/ethernet/fungible/Kconfig
##
# CONFIG_NET_VENDOR_FUNGIBLE is not set

##
## file: drivers/net/ethernet/huawei/Kconfig
##
# CONFIG_NET_VENDOR_HUAWEI is not set

##
## file: drivers/net/ethernet/i825xx/Kconfig
##
# CONFIG_NET_VENDOR_I825XX is not set

##
## file: drivers/net/ethernet/intel/Kconfig
##
# CONFIG_E100 is not set
# CONFIG_IGB is not set
# CONFIG_IGBVF is not set
# CONFIG_IGC is not set

##
## file: drivers/net/ethernet/intel/idpf/Kconfig
##
# CONFIG_IDPF is not set

##
## file: drivers/net/ethernet/litex/Kconfig
##
# CONFIG_NET_VENDOR_LITEX is not set

##
## file: drivers/net/ethernet/marvell/Kconfig
##
# CONFIG_NET_VENDOR_MARVELL is not set

##
## file: drivers/net/ethernet/mellanox/mlx4/Kconfig
##
# CONFIG_MLX4_EN is not set
# CONFIG_MLX4_DEBUG is not set

##
## file: drivers/net/ethernet/mellanox/mlx5/core/Kconfig
##
# CONFIG_MLX5_CORE is not set

##
## file: drivers/net/ethernet/mellanox/mlxfw/Kconfig
##
# CONFIG_MLXFW is not set

##
## file: drivers/net/ethernet/mellanox/mlxsw/Kconfig
##
# CONFIG_MLXSW_CORE is not set

##
## file: drivers/net/ethernet/meta/Kconfig
##
CONFIG_NET_VENDOR_META=y
CONFIG_FBNIC=m

##
## file: drivers/net/ethernet/micrel/Kconfig
##
# CONFIG_NET_VENDOR_MICREL is not set

##
## file: drivers/net/ethernet/microchip/Kconfig
##
# CONFIG_NET_VENDOR_MICROCHIP is not set

##
## file: drivers/net/ethernet/microsoft/Kconfig
##
CONFIG_MICROSOFT_MANA=m

##
## file: drivers/net/ethernet/mscc/Kconfig
##
# CONFIG_NET_VENDOR_MICROSEMI is not set

##
## file: drivers/net/ethernet/myricom/Kconfig
##
# CONFIG_NET_VENDOR_MYRI is not set

##
## file: drivers/net/ethernet/natsemi/Kconfig
##
# CONFIG_NET_VENDOR_NATSEMI is not set

##
## file: drivers/net/ethernet/neterion/Kconfig
##
# CONFIG_NET_VENDOR_NETERION is not set

##
## file: drivers/net/ethernet/netronome/Kconfig
##
# CONFIG_NET_VENDOR_NETRONOME is not set

##
## file: drivers/net/ethernet/ni/Kconfig
##
# CONFIG_NET_VENDOR_NI is not set

##
## file: drivers/net/ethernet/nvidia/Kconfig
##
# CONFIG_NET_VENDOR_NVIDIA is not set

##
## file: drivers/net/ethernet/oki-semi/Kconfig
##
# CONFIG_NET_VENDOR_OKI is not set

##
## file: drivers/net/ethernet/packetengines/Kconfig
##
# CONFIG_NET_VENDOR_PACKET_ENGINES is not set

##
## file: drivers/net/ethernet/pensando/Kconfig
##
# CONFIG_NET_VENDOR_PENSANDO is not set

##
## file: drivers/net/ethernet/qlogic/Kconfig
##
# CONFIG_NET_VENDOR_QLOGIC is not set

##
## file: drivers/net/ethernet/qualcomm/Kconfig
##
# CONFIG_NET_VENDOR_QUALCOMM is not set

##
## file: drivers/net/ethernet/rdc/Kconfig
##
# CONFIG_NET_VENDOR_RDC is not set

##
## file: drivers/net/ethernet/realtek/Kconfig
##
# CONFIG_NET_VENDOR_REALTEK is not set

##
## file: drivers/net/ethernet/renesas/Kconfig
##
# CONFIG_NET_VENDOR_RENESAS is not set

##
## file: drivers/net/ethernet/rocker/Kconfig
##
# CONFIG_NET_VENDOR_ROCKER is not set

##
## file: drivers/net/ethernet/samsung/Kconfig
##
# CONFIG_NET_VENDOR_SAMSUNG is not set

##
## file: drivers/net/ethernet/seeq/Kconfig
##
# CONFIG_NET_VENDOR_SEEQ is not set

##
## file: drivers/net/ethernet/sfc/Kconfig
##
# CONFIG_NET_VENDOR_SOLARFLARE is not set

##
## file: drivers/net/ethernet/silan/Kconfig
##
# CONFIG_NET_VENDOR_SILAN is not set

##
## file: drivers/net/ethernet/sis/Kconfig
##
# CONFIG_NET_VENDOR_SIS is not set

##
## file: drivers/net/ethernet/smsc/Kconfig
##
# CONFIG_NET_VENDOR_SMSC is not set

##
## file: drivers/net/ethernet/socionext/Kconfig
##
# CONFIG_NET_VENDOR_SOCIONEXT is not set

##
## file: drivers/net/ethernet/stmicro/Kconfig
##
# CONFIG_NET_VENDOR_STMICRO is not set

##
## file: drivers/net/ethernet/sun/Kconfig
##
# CONFIG_NET_VENDOR_SUN is not set

##
## file: drivers/net/ethernet/synopsys/Kconfig
##
# CONFIG_NET_VENDOR_SYNOPSYS is not set

##
## file: drivers/net/ethernet/tehuti/Kconfig
##
# CONFIG_NET_VENDOR_TEHUTI is not set

##
## file: drivers/net/ethernet/ti/Kconfig
##
# CONFIG_NET_VENDOR_TI is not set

##
## file: drivers/net/ethernet/vertexcom/Kconfig
##
# CONFIG_NET_VENDOR_VERTEXCOM is not set

##
## file: drivers/net/ethernet/via/Kconfig
##
# CONFIG_NET_VENDOR_VIA is not set

##
## file: drivers/net/ethernet/wangxun/Kconfig
##
# CONFIG_NET_VENDOR_WANGXUN is not set

##
## file: drivers/net/ethernet/wiznet/Kconfig
##
# CONFIG_NET_VENDOR_WIZNET is not set

##
## file: drivers/net/ethernet/xilinx/Kconfig
##
# CONFIG_NET_VENDOR_XILINX is not set

##
## file: drivers/net/hyperv/Kconfig
##
CONFIG_HYPERV_NET=m

##
## file: drivers/net/mdio/Kconfig
##
# CONFIG_MDIO_BITBANG is not set
# CONFIG_MDIO_BCM_UNIMAC is not set
# CONFIG_MDIO_THUNDER is not set

##
## file: drivers/net/pcs/Kconfig
##
# CONFIG_PCS_XPCS is not set

##
## file: drivers/net/phy/Kconfig
##
# CONFIG_AIR_EN8811H_PHY is not set
# CONFIG_AMD_PHY is not set
# CONFIG_ADIN_PHY is not set
# CONFIG_ADIN1100_PHY is not set
# CONFIG_AX88796B_PHY is not set
# CONFIG_BROADCOM_PHY is not set
# CONFIG_BCM54140_PHY is not set
# CONFIG_BCM7XXX_PHY is not set
# CONFIG_BCM84881_PHY is not set
# CONFIG_BCM87XX_PHY is not set
# CONFIG_CICADA_PHY is not set
# CONFIG_CORTINA_PHY is not set
# CONFIG_DAVICOM_PHY is not set
# CONFIG_ICPLUS_PHY is not set
# CONFIG_LXT_PHY is not set
# CONFIG_INTEL_XWAY_PHY is not set
# CONFIG_LSI_ET1011C_PHY is not set
# CONFIG_MARVELL_PHY is not set
# CONFIG_MARVELL_10G_PHY is not set
# CONFIG_MARVELL_88Q2XXX_PHY is not set
# CONFIG_MARVELL_88X2222_PHY is not set
# CONFIG_MAXLINEAR_GPHY is not set
# CONFIG_MEDIATEK_GE_PHY is not set
# CONFIG_MICREL_PHY is not set
# CONFIG_MICROCHIP_T1S_PHY is not set
# CONFIG_MICROCHIP_PHY is not set
# CONFIG_MICROCHIP_T1_PHY is not set
# CONFIG_MICROSEMI_PHY is not set
# CONFIG_MOTORCOMM_PHY is not set
# CONFIG_NATIONAL_PHY is not set
# CONFIG_NXP_CBTX_PHY is not set
# CONFIG_NXP_C45_TJA11XX_PHY is not set
# CONFIG_NXP_TJA11XX_PHY is not set
# CONFIG_NCN26000_PHY is not set
# CONFIG_QSEMI_PHY is not set
# CONFIG_REALTEK_PHY is not set
# CONFIG_RENESAS_PHY is not set
# CONFIG_ROCKCHIP_PHY is not set
# CONFIG_SMSC_PHY is not set
# CONFIG_STE10XP is not set
# CONFIG_TERANETICS_PHY is not set
# CONFIG_DP83822_PHY is not set
# CONFIG_DP83TC811_PHY is not set
# CONFIG_DP83848_PHY is not set
# CONFIG_DP83867_PHY is not set
# CONFIG_DP83869_PHY is not set
# CONFIG_DP83TD510_PHY is not set
# CONFIG_DP83TG720_PHY is not set
# CONFIG_VITESSE_PHY is not set
# CONFIG_XILINX_GMII2RGMII is not set

##
## file: drivers/net/phy/aquantia/Kconfig
##
# CONFIG_AQUANTIA_PHY is not set

##
## file: drivers/net/phy/qcom/Kconfig
##
# CONFIG_QCA83XX_PHY is not set
# CONFIG_QCA808X_PHY is not set

##
## file: drivers/net/ppp/Kconfig
##
# CONFIG_PPP is not set

##
## file: drivers/net/slip/Kconfig
##
# CONFIG_SLIP is not set

##
## file: drivers/net/wan/Kconfig
##
# CONFIG_WAN is not set

##
## file: drivers/net/wireless/Kconfig
##
# CONFIG_WLAN is not set

##
## file: drivers/net/wwan/Kconfig
##
# CONFIG_WWAN is not set

##
## file: drivers/ntb/Kconfig
##
# CONFIG_NTB is not set

##
## file: drivers/nvdimm/Kconfig
##
CONFIG_LIBNVDIMM=m
CONFIG_BLK_DEV_PMEM=m

##
## file: drivers/nvme/host/Kconfig
##
# CONFIG_NVME_HWMON is not set
# CONFIG_NVME_RDMA is not set
CONFIG_NVME_FC=m
CONFIG_NVME_TCP=m
# CONFIG_NVME_TCP_TLS is not set
# CONFIG_NVME_HOST_AUTH is not set

##
## file: drivers/nvme/target/Kconfig
##
CONFIG_NVME_TARGET_RDMA=m
CONFIG_NVME_TARGET_FC=m
# CONFIG_NVME_TARGET_FCLOOP is not set
CONFIG_NVME_TARGET_TCP=m
# CONFIG_NVME_TARGET_TCP_TLS is not set

##
## file: drivers/of/Kconfig
##
# CONFIG_OF is not set

##
## file: drivers/parport/Kconfig
##
# CONFIG_PARPORT is not set

##
## file: drivers/pci/Kconfig
##
CONFIG_XEN_PCIDEV_FRONTEND=m
CONFIG_PCI_HYPERV=m

##
## file: drivers/pci/controller/Kconfig
##
# CONFIG_VMD is not set
CONFIG_PCI_HYPERV_INTERFACE=m

##
## file: drivers/pci/controller/dwc/Kconfig
##
# CONFIG_PCI_MESON is not set
# CONFIG_PCIE_DW_PLAT_HOST is not set

##
## file: drivers/pci/hotplug/Kconfig
##
# CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
# CONFIG_HOTPLUG_PCI_CPCI is not set
# CONFIG_HOTPLUG_PCI_SHPC is not set

##
## file: drivers/pci/pcie/Kconfig
##
# CONFIG_PCIE_ECRC is not set
## choice: Default ASPM policy
CONFIG_PCIEASPM_DEFAULT=y
# CONFIG_PCIEASPM_POWERSAVE is not set
## end choice

##
## file: drivers/pci/switch/Kconfig
##
# CONFIG_PCI_SW_SWITCHTEC is not set

##
## file: drivers/peci/Kconfig
##
# CONFIG_PECI is not set

##
## file: drivers/perf/Kconfig
##
# CONFIG_DWC_PCIE_PMU is not set
# CONFIG_CXL_PMU is not set

##
## file: drivers/phy/Kconfig
##
# CONFIG_GENERIC_PHY is not set
# CONFIG_PHY_CAN_TRANSCEIVER is not set

##
## file: drivers/phy/broadcom/Kconfig
##
# CONFIG_BCM_KONA_USB2_PHY is not set

##
## file: drivers/phy/intel/Kconfig
##
# CONFIG_PHY_INTEL_LGM_EMMC is not set

##
## file: drivers/phy/marvell/Kconfig
##
# CONFIG_PHY_PXA_28NM_HSIC is not set
# CONFIG_PHY_PXA_28NM_USB2 is not set

##
## file: drivers/pinctrl/Kconfig
##
# CONFIG_PINCTRL is not set

##
## file: drivers/platform/goldfish/Kconfig
##
# CONFIG_GOLDFISH is not set

##
## file: drivers/platform/x86/Kconfig
##
# CONFIG_X86_PLATFORM_DEVICES is not set

##
## file: drivers/pnp/Kconfig
##
# CONFIG_PNP_DEBUG_MESSAGES is not set

##
## file: drivers/power/reset/Kconfig
##
# CONFIG_POWER_RESET is not set

##
## file: drivers/power/sequencing/Kconfig
##
# CONFIG_POWER_SEQUENCING is not set

##
## file: drivers/power/supply/Kconfig
##
# CONFIG_TEST_POWER is not set
# CONFIG_BATTERY_DS2780 is not set
# CONFIG_BATTERY_DS2781 is not set
# CONFIG_BATTERY_SAMSUNG_SDI is not set
# CONFIG_BATTERY_BQ27XXX is not set
# CONFIG_CHARGER_MAX8903 is not set
# CONFIG_BATTERY_GOLDFISH is not set

##
## file: drivers/powercap/Kconfig
##
# CONFIG_INTEL_RAPL is not set

##
## file: drivers/pps/Kconfig
##
CONFIG_PPS=m

##
## file: drivers/ptp/Kconfig
##
# CONFIG_DP83640_PHY is not set
# CONFIG_PTP_1588_CLOCK_INES is not set
CONFIG_PTP_1588_CLOCK_KVM=m
CONFIG_PTP_1588_CLOCK_VMW=m

##
## file: drivers/pwm/Kconfig
##
# CONFIG_PWM is not set

##
## file: drivers/rapidio/Kconfig
##
# CONFIG_RAPIDIO is not set

##
## file: drivers/ras/amd/atl/Kconfig
##
# CONFIG_AMD_ATL is not set

##
## file: drivers/regulator/Kconfig
##
# CONFIG_REGULATOR is not set

##
## file: drivers/reset/Kconfig
##
# CONFIG_RESET_CONTROLLER is not set

##
## file: drivers/rpmsg/Kconfig
##
# CONFIG_RPMSG_QCOM_GLINK_RPM is not set

##
## file: drivers/rtc/Kconfig
##
# CONFIG_RTC_DRV_TEST is not set
# CONFIG_RTC_DRV_DS1286 is not set
# CONFIG_RTC_DRV_DS1511 is not set
# CONFIG_RTC_DRV_DS1553 is not set
# CONFIG_RTC_DRV_DS1685_FAMILY is not set
# CONFIG_RTC_DRV_DS1742 is not set
# CONFIG_RTC_DRV_DS2404 is not set
# CONFIG_RTC_DRV_STK17TA8 is not set
# CONFIG_RTC_DRV_M48T86 is not set
# CONFIG_RTC_DRV_M48T35 is not set
# CONFIG_RTC_DRV_M48T59 is not set
# CONFIG_RTC_DRV_MSM6242 is not set
# CONFIG_RTC_DRV_RP5C01 is not set
# CONFIG_RTC_DRV_FTRTC010 is not set
# CONFIG_RTC_DRV_GOLDFISH is not set

##
## file: drivers/scsi/Kconfig
##
CONFIG_SCSI=m
CONFIG_BLK_DEV_SD=m
CONFIG_SCSI_FC_ATTRS=m
CONFIG_SCSI_SRP_ATTRS=m
CONFIG_SCSI_BUSLOGIC=m
# CONFIG_SCSI_FLASHPOINT is not set
CONFIG_XEN_SCSI_FRONTEND=m
CONFIG_HYPERV_STORAGE=m
# CONFIG_LIBFC is not set
CONFIG_SCSI_IPR=m
# CONFIG_SCSI_IPR_TRACE is not set
# CONFIG_SCSI_IPR_DUMP is not set
# CONFIG_SCSI_LPFC is not set
# CONFIG_SCSI_BFA_FC is not set

##
## file: drivers/scsi/csiostor/Kconfig
##
# CONFIG_SCSI_CHELSIO_FCOE is not set

##
## file: drivers/scsi/device_handler/Kconfig
##
# CONFIG_SCSI_DH is not set

##
## file: drivers/scsi/elx/Kconfig
##
# CONFIG_SCSI_EFCT is not set

##
## file: drivers/scsi/mpi3mr/Kconfig
##
CONFIG_SCSI_MPI3MR=m

##
## file: drivers/scsi/qla2xxx/Kconfig
##
# CONFIG_SCSI_QLA_FC is not set

##
## file: drivers/slimbus/Kconfig
##
# CONFIG_SLIMBUS is not set

##
## file: drivers/soc/nuvoton/Kconfig
##
# CONFIG_WPCM450_SOC is not set

##
## file: drivers/soc/qcom/Kconfig
##
# CONFIG_QCOM_PMIC_PDCHARGER_ULOG is not set

##
## file: drivers/soc/ti/Kconfig
##
# CONFIG_SOC_TI is not set

##
## file: drivers/soundwire/Kconfig
##
# CONFIG_SOUNDWIRE is not set

##
## file: drivers/spi/Kconfig
##
# CONFIG_SPI is not set

##
## file: drivers/spmi/Kconfig
##
# CONFIG_SPMI is not set

##
## file: drivers/ssb/Kconfig
##
# CONFIG_SSB is not set

##
## file: drivers/staging/Kconfig
##
# CONFIG_STAGING is not set

##
## file: drivers/target/iscsi/Kconfig
##
# CONFIG_ISCSI_TARGET is not set

##
## file: drivers/target/tcm_remote/Kconfig
##
# CONFIG_REMOTE_TARGET is not set

##
## file: drivers/thermal/Kconfig
##
# CONFIG_THERMAL_STATISTICS is not set
# CONFIG_THERMAL_DEBUGFS is not set
# CONFIG_THERMAL_GOV_BANG_BANG is not set

##
## file: drivers/thunderbolt/Kconfig
##
# CONFIG_USB4 is not set

##
## file: drivers/tty/Kconfig
##
# CONFIG_SERIAL_NONSTANDARD is not set
# CONFIG_N_GSM is not set
# CONFIG_NOZOMI is not set

##
## file: drivers/tty/hvc/Kconfig
##
CONFIG_HVC_XEN=y
CONFIG_HVC_XEN_FRONTEND=y

##
## file: drivers/tty/serial/Kconfig
##
# CONFIG_SERIAL_UARTLITE is not set
# CONFIG_SERIAL_JSM is not set
# CONFIG_SERIAL_LANTIQ is not set
# CONFIG_SERIAL_SCCNXP is not set
# CONFIG_SERIAL_ALTERA_JTAGUART is not set
# CONFIG_SERIAL_ALTERA_UART is not set
# CONFIG_SERIAL_ARC is not set
# CONFIG_SERIAL_RP2 is not set
# CONFIG_SERIAL_FSL_LPUART is not set
# CONFIG_SERIAL_FSL_LINFLEXUART is not set

##
## file: drivers/tty/serial/8250/Kconfig
##
# CONFIG_SERIAL_8250_FINTEK is not set
# CONFIG_SERIAL_8250_EXAR is not set
# CONFIG_SERIAL_8250_PCI1XXXX is not set
# CONFIG_SERIAL_8250_RSA is not set
# CONFIG_SERIAL_8250_RT288X is not set
# CONFIG_SERIAL_8250_MID is not set

##
## file: drivers/ufs/Kconfig
##
# CONFIG_SCSI_UFSHCD is not set

##
## file: drivers/uio/Kconfig
##
# CONFIG_UIO_CIF is not set
# CONFIG_UIO_AEC is not set
# CONFIG_UIO_SERCOS3 is not set
# CONFIG_UIO_NETX is not set
# CONFIG_UIO_MF624 is not set
CONFIG_UIO_HV_GENERIC=m

##
## file: drivers/usb/Kconfig
##
# CONFIG_USB_SUPPORT is not set

##
## file: drivers/vdpa/Kconfig
##
# CONFIG_IFCVF is not set
# CONFIG_SNET_VDPA is not set

##
## file: drivers/vfio/pci/Kconfig
##
# CONFIG_VFIO_PCI_IGD is not set

##
## file: drivers/video/backlight/Kconfig
##
# CONFIG_LCD_CLASS_DEVICE is not set
# CONFIG_BACKLIGHT_CLASS_DEVICE is not set

##
## file: drivers/video/fbdev/Kconfig
##
CONFIG_FB_CIRRUS=m
CONFIG_FB_UVESA=m
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_FB_HYPERV=m

##
## file: drivers/video/fbdev/core/Kconfig
##
# CONFIG_FB_DEVICE is not set

##
## file: drivers/virt/acrn/Kconfig
##
CONFIG_ACRN_HSM=m

##
## file: drivers/virt/coco/tdx-guest/Kconfig
##
CONFIG_TDX_GUEST_DRIVER=m

##
## file: drivers/virt/vboxguest/Kconfig
##
# CONFIG_VBOXGUEST is not set

##
## file: drivers/virtio/Kconfig
##
CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y

##
## file: drivers/w1/Kconfig
##
# CONFIG_W1 is not set

##
## file: drivers/watchdog/Kconfig
##
CONFIG_WATCHDOG_CORE=m
CONFIG_WATCHDOG_PRETIMEOUT_GOV_NOOP=m
CONFIG_WATCHDOG_PRETIMEOUT_GOV_PANIC=m
CONFIG_SOFT_WATCHDOG_PRETIMEOUT=y
# CONFIG_LENOVO_SE10_WDT is not set
# CONFIG_XILINX_WATCHDOG is not set
# CONFIG_CADENCE_WATCHDOG is not set
# CONFIG_DW_WATCHDOG is not set
# CONFIG_MAX63XX_WATCHDOG is not set
# CONFIG_ACQUIRE_WDT is not set
# CONFIG_ADVANTECH_WDT is not set
# CONFIG_ADVANTECH_EC_WDT is not set
# CONFIG_ALIM1535_WDT is not set
# CONFIG_ALIM7101_WDT is not set
# CONFIG_EBC_C384_WDT is not set
# CONFIG_EXAR_WDT is not set
# CONFIG_F71808E_WDT is not set
# CONFIG_SP5100_TCO is not set
# CONFIG_SBC_FITPC2_WATCHDOG is not set
# CONFIG_EUROTECH_WDT is not set
# CONFIG_IB700_WDT is not set
# CONFIG_IBMASR is not set
# CONFIG_WAFER_WDT is not set
# CONFIG_IE6XX_WDT is not set
# CONFIG_IT8712F_WDT is not set
# CONFIG_IT87_WDT is not set
# CONFIG_HP_WATCHDOG is not set
# CONFIG_SC1200_WDT is not set
# CONFIG_PC87413_WDT is not set
# CONFIG_NV_TCO is not set
# CONFIG_60XX_WDT is not set
# CONFIG_CPU5_WDT is not set
# CONFIG_SMSC_SCH311X_WDT is not set
# CONFIG_SMSC37B787_WDT is not set
# CONFIG_TQMX86_WDT is not set
# CONFIG_VIA_WDT is not set
# CONFIG_W83627HF_WDT is not set
# CONFIG_W83877F_WDT is not set
# CONFIG_W83977F_WDT is not set
# CONFIG_MACHZ_WDT is not set
# CONFIG_SBC_EPX_C3_WATCHDOG is not set
# CONFIG_NI903X_WDT is not set
# CONFIG_NIC7018_WDT is not set
CONFIG_XEN_WDT=m
# CONFIG_PCIPCWATCHDOG is not set

##
## file: drivers/xen/Kconfig
##
CONFIG_XEN_BALLOON=y
CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
CONFIG_XEN_MEMORY_HOTPLUG_LIMIT=512
CONFIG_XEN_SCRUB_PAGES_DEFAULT=y
CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_BACKEND=y
CONFIG_XENFS=m
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_XEN_GNTDEV=m
CONFIG_XEN_GNTDEV_DMABUF=y
CONFIG_XEN_GRANT_DEV_ALLOC=m
CONFIG_XEN_GRANT_DMA_ALLOC=y
CONFIG_XEN_PCIDEV_BACKEND=m
# CONFIG_XEN_PVCALLS_FRONTEND is not set
# CONFIG_XEN_PVCALLS_BACKEND is not set
CONFIG_XEN_SCSI_BACKEND=m
CONFIG_XEN_PRIVCMD=m
CONFIG_XEN_PRIVCMD_EVENTFD=y
CONFIG_XEN_UNPOPULATED_ALLOC=y
CONFIG_XEN_VIRTIO=y
# CONFIG_XEN_VIRTIO_FORCE_GRANT is not set

##
## file: fs/Kconfig
##
# CONFIG_VALIDATE_FS_PARSER is not set

##
## file: fs/adfs/Kconfig
##
# CONFIG_ADFS_FS is not set

##
## file: fs/affs/Kconfig
##
# CONFIG_AFFS_FS is not set

##
## file: fs/befs/Kconfig
##
# CONFIG_BEFS_FS is not set

##
## file: fs/bfs/Kconfig
##
# CONFIG_BFS_FS is not set

##
## file: fs/btrfs/Kconfig
##
# CONFIG_BTRFS_FS is not set

##
## file: fs/coda/Kconfig
##
# CONFIG_CODA_FS is not set

##
## file: fs/cramfs/Kconfig
##
# CONFIG_CRAMFS is not set

##
## file: fs/dlm/Kconfig
##
# CONFIG_DLM is not set

##
## file: fs/ecryptfs/Kconfig
##
# CONFIG_ECRYPT_FS is not set

##
## file: fs/efs/Kconfig
##
# CONFIG_EFS_FS is not set

##
## file: fs/f2fs/Kconfig
##
# CONFIG_F2FS_FS is not set

##
## file: fs/freevxfs/Kconfig
##
# CONFIG_VXFS_FS is not set

##
## file: fs/fuse/Kconfig
##
CONFIG_FUSE_FS=m
CONFIG_VIRTIO_FS=m

##
## file: fs/gfs2/Kconfig
##
# CONFIG_GFS2_FS is not set

##
## file: fs/hfs/Kconfig
##
# CONFIG_HFS_FS is not set

##
## file: fs/hfsplus/Kconfig
##
# CONFIG_HFSPLUS_FS is not set

##
## file: fs/hpfs/Kconfig
##
# CONFIG_HPFS_FS is not set

##
## file: fs/jfs/Kconfig
##
# CONFIG_JFS_FS is not set

##
## file: fs/minix/Kconfig
##
# CONFIG_MINIX_FS is not set

##
## file: fs/nilfs2/Kconfig
##
# CONFIG_NILFS2_FS is not set

##
## file: fs/nls/Kconfig
##
# CONFIG_NLS_CODEPAGE_737 is not set
# CONFIG_NLS_CODEPAGE_775 is not set
# CONFIG_NLS_CODEPAGE_850 is not set
# CONFIG_NLS_CODEPAGE_852 is not set
# CONFIG_NLS_CODEPAGE_855 is not set
# CONFIG_NLS_CODEPAGE_857 is not set
# CONFIG_NLS_CODEPAGE_860 is not set
# CONFIG_NLS_CODEPAGE_861 is not set
# CONFIG_NLS_CODEPAGE_862 is not set
# CONFIG_NLS_CODEPAGE_863 is not set
# CONFIG_NLS_CODEPAGE_864 is not set
# CONFIG_NLS_CODEPAGE_865 is not set
# CONFIG_NLS_CODEPAGE_866 is not set
# CONFIG_NLS_CODEPAGE_869 is not set
# CONFIG_NLS_CODEPAGE_936 is not set
# CONFIG_NLS_CODEPAGE_950 is not set
# CONFIG_NLS_CODEPAGE_932 is not set
# CONFIG_NLS_CODEPAGE_949 is not set
# CONFIG_NLS_CODEPAGE_874 is not set
# CONFIG_NLS_ISO8859_8 is not set
# CONFIG_NLS_CODEPAGE_1250 is not set
# CONFIG_NLS_CODEPAGE_1251 is not set
# CONFIG_NLS_ISO8859_2 is not set
# CONFIG_NLS_ISO8859_3 is not set
# CONFIG_NLS_ISO8859_4 is not set
# CONFIG_NLS_ISO8859_5 is not set
# CONFIG_NLS_ISO8859_6 is not set
# CONFIG_NLS_ISO8859_7 is not set
# CONFIG_NLS_ISO8859_9 is not set
# CONFIG_NLS_ISO8859_13 is not set
# CONFIG_NLS_ISO8859_14 is not set
# CONFIG_NLS_ISO8859_15 is not set
# CONFIG_NLS_KOI8_R is not set
# CONFIG_NLS_KOI8_U is not set
# CONFIG_NLS_MAC_ROMAN is not set
# CONFIG_NLS_MAC_CELTIC is not set
# CONFIG_NLS_MAC_CENTEURO is not set
# CONFIG_NLS_MAC_CROATIAN is not set
# CONFIG_NLS_MAC_CYRILLIC is not set
# CONFIG_NLS_MAC_GAELIC is not set
# CONFIG_NLS_MAC_GREEK is not set
# CONFIG_NLS_MAC_ICELAND is not set
# CONFIG_NLS_MAC_INUIT is not set
# CONFIG_NLS_MAC_ROMANIAN is not set
# CONFIG_NLS_MAC_TURKISH is not set

##
## file: fs/ntfs3/Kconfig
##
# CONFIG_NTFS3_FS is not set

##
## file: fs/ocfs2/Kconfig
##
# CONFIG_OCFS2_FS is not set

##
## file: fs/omfs/Kconfig
##
# CONFIG_OMFS_FS is not set

##
## file: fs/proc/Kconfig
##
CONFIG_PROC_VMCORE=y
# CONFIG_PROC_VMCORE_DEVICE_DUMP is not set

##
## file: fs/qnx4/Kconfig
##
# CONFIG_QNX4FS_FS is not set

##
## file: fs/qnx6/Kconfig
##
# CONFIG_QNX6FS_FS is not set

##
## file: fs/reiserfs/Kconfig
##
# CONFIG_REISERFS_FS is not set

##
## file: fs/romfs/Kconfig
##
# CONFIG_ROMFS_FS is not set

##
## file: fs/smb/client/Kconfig
##
# CONFIG_CIFS is not set

##
## file: fs/sysv/Kconfig
##
# CONFIG_SYSV_FS is not set

##
## file: fs/ufs/Kconfig
##
# CONFIG_UFS_FS is not set

##
## file: fs/xfs/Kconfig
##
# CONFIG_XFS_SUPPORT_V4 is not set

##
## file: init/Kconfig
##
## choice: Kernel compression mode
# CONFIG_KERNEL_XZ is not set
CONFIG_KERNEL_LZ4=y
## end choice
CONFIG_DEFAULT_HOSTNAME="debian-cloud"
CONFIG_LOG_BUF_SHIFT=17
CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
# CONFIG_UCLAMP_TASK is not set
# CONFIG_RT_GROUP_SCHED is not set

##
## file: kernel/Kconfig.hz
##
## choice: Timer frequency
CONFIG_HZ_100=y
# CONFIG_HZ_500 is not set
## end choice

##
## file: kernel/Kconfig.kexec
##
CONFIG_KEXEC=y
CONFIG_KEXEC_FILE=y
CONFIG_KEXEC_SIG=y
# CONFIG_KEXEC_SIG_FORCE is not set
CONFIG_KEXEC_BZIMAGE_VERIFY_SIG=y
CONFIG_KEXEC_JUMP=y
CONFIG_CRASH_DUMP=y
CONFIG_CRASH_HOTPLUG=y
CONFIG_CRASH_MAX_MEMORY_RANGES=8192

##
## file: kernel/Kconfig.preempt
##
## choice: Preemption Model
CONFIG_PREEMPT_NONE=y
# CONFIG_PREEMPT_VOLUNTARY is not set
## end choice
# CONFIG_SCHED_CORE is not set

##
## file: kernel/dma/Kconfig
##
# CONFIG_SWIOTLB_DYNAMIC is not set

##
## file: kernel/module/Kconfig
##
## choice: Module compression mode
CONFIG_MODULE_COMPRESS_NONE=y
# CONFIG_MODULE_COMPRESS_XZ is not set
## end choice

##
## file: kernel/power/Kconfig
##
# CONFIG_PM_DEBUG is not set
# CONFIG_WQ_POWER_EFFICIENT_DEFAULT is not set

##
## file: kernel/rcu/Kconfig
##
# CONFIG_RCU_LAZY is not set

##
## file: kernel/time/Kconfig
##
# CONFIG_NO_HZ is not set

##
## file: kernel/trace/Kconfig
##
# CONFIG_BOOTTIME_TRACING is not set
# CONFIG_FUNCTION_GRAPH_RETVAL is not set
# CONFIG_SCHED_TRACER is not set
# CONFIG_HWLAT_TRACER is not set
# CONFIG_OSNOISE_TRACER is not set
# CONFIG_TIMERLAT_TRACER is not set
# CONFIG_MMIOTRACE is not set
# CONFIG_TRACER_SNAPSHOT is not set
# CONFIG_HIST_TRIGGERS is not set
# CONFIG_SYNTH_EVENT_GEN_TEST is not set
# CONFIG_KPROBE_EVENT_GEN_TEST is not set

##
## file: lib/Kconfig.debug
##
# CONFIG_DEBUG_MEMORY_INIT is not set
CONFIG_PANIC_TIMEOUT=5
# CONFIG_WQ_CPU_INTENSIVE_REPORT is not set
# CONFIG_NMI_CHECK_CPU is not set
# CONFIG_DEBUG_IRQFLAGS is not set
# CONFIG_DEBUG_LIST is not set
# CONFIG_NOTIFIER_ERROR_INJECTION is not set
# CONFIG_FUNCTION_ERROR_INJECTION is not set
# CONFIG_RUNTIME_TESTING_MENU is not set
# CONFIG_MEMTEST is not set
# CONFIG_HYPERV_TESTING is not set

##
## file: lib/Kconfig.kfence
##
# CONFIG_KFENCE is not set

##
## file: mm/Kconfig
##
# CONFIG_ZSWAP is not set
CONFIG_MEMORY_HOTPLUG_DEFAULT_ONLINE=y
# CONFIG_HWPOISON_INJECT is not set

##
## file: mm/Kconfig.debug
##
# CONFIG_PAGE_EXTENSION is not set
# CONFIG_PAGE_POISONING is not set

##
## file: mm/damon/Kconfig
##
# CONFIG_DAMON is not set

##
## file: net/Kconfig
##
CONFIG_MAX_SKB_FRAGS=19
# CONFIG_NET_PKTGEN is not set
# CONFIG_WIRELESS is not set
# CONFIG_PAGE_POOL_STATS is not set

##
## file: net/6lowpan/Kconfig
##
# CONFIG_6LOWPAN is not set

##
## file: net/9p/Kconfig
##
# CONFIG_NET_9P is not set

##
## file: net/appletalk/Kconfig
##
# CONFIG_ATALK is not set

##
## file: net/atm/Kconfig
##
# CONFIG_ATM is not set

##
## file: net/ax25/Kconfig
##
# CONFIG_HAMRADIO is not set

##
## file: net/bluetooth/Kconfig
##
# CONFIG_BT is not set

##
## file: net/bridge/Kconfig
##
# CONFIG_BRIDGE_MRP is not set
# CONFIG_BRIDGE_CFM is not set

##
## file: net/caif/Kconfig
##
# CONFIG_CAIF is not set

##
## file: net/can/Kconfig
##
# CONFIG_CAN is not set

##
## file: net/dccp/Kconfig
##
# CONFIG_IP_DCCP_DEBUG is not set

##
## file: net/dccp/ccids/Kconfig
##
# CONFIG_IP_DCCP_CCID2_DEBUG is not set
# CONFIG_IP_DCCP_CCID3_DEBUG is not set

##
## file: net/ieee802154/Kconfig
##
# CONFIG_IEEE802154 is not set

##
## file: net/ipv6/Kconfig
##
CONFIG_IPV6_MIP6=m

##
## file: net/l2tp/Kconfig
##
# CONFIG_L2TP is not set

##
## file: net/lapb/Kconfig
##
# CONFIG_LAPB is not set

##
## file: net/mctp/Kconfig
##
# CONFIG_MCTP is not set

##
## file: net/ncsi/Kconfig
##
# CONFIG_NET_NCSI is not set

##
## file: net/netfilter/Kconfig
##
# CONFIG_NF_CONNTRACK_AMANDA is not set
CONFIG_NETFILTER_XT_MATCH_IPVS=m

##
## file: net/netfilter/ipvs/Kconfig
##
CONFIG_IP_VS=m
CONFIG_IP_VS_IPV6=y
# CONFIG_IP_VS_DEBUG is not set
CONFIG_IP_VS_TAB_BITS=12
CONFIG_IP_VS_PROTO_TCP=y
CONFIG_IP_VS_PROTO_UDP=y
CONFIG_IP_VS_PROTO_ESP=y
CONFIG_IP_VS_PROTO_AH=y
CONFIG_IP_VS_PROTO_SCTP=y
CONFIG_IP_VS_RR=m
CONFIG_IP_VS_WRR=m
CONFIG_IP_VS_LC=m
CONFIG_IP_VS_WLC=m
CONFIG_IP_VS_FO=m
CONFIG_IP_VS_OVF=m
CONFIG_IP_VS_LBLC=m
CONFIG_IP_VS_LBLCR=m
CONFIG_IP_VS_DH=m
CONFIG_IP_VS_SH=m
CONFIG_IP_VS_MH=m
CONFIG_IP_VS_SED=m
CONFIG_IP_VS_NQ=m
CONFIG_IP_VS_TWOS=m
CONFIG_IP_VS_SH_TAB_BITS=8
CONFIG_IP_VS_MH_TAB_INDEX=12
CONFIG_IP_VS_FTP=m
CONFIG_IP_VS_NFCT=y
CONFIG_IP_VS_PE_SIP=m

##
## file: net/nfc/Kconfig
##
# CONFIG_NFC is not set

##
## file: net/phonet/Kconfig
##
# CONFIG_PHONET is not set

##
## file: net/qrtr/Kconfig
##
# CONFIG_QRTR is not set

##
## file: net/rds/Kconfig
##
CONFIG_RDS_RDMA=m
# CONFIG_RDS_DEBUG is not set

##
## file: net/rfkill/Kconfig
##
# CONFIG_RFKILL is not set

##
## file: net/rxrpc/Kconfig
##
# CONFIG_AF_RXRPC is not set

##
## file: net/sched/Kconfig
##
# CONFIG_NET_SCH_HTB is not set
# CONFIG_NET_SCH_HFSC is not set
# CONFIG_NET_SCH_PRIO is not set
# CONFIG_NET_SCH_RED is not set
# CONFIG_NET_SCH_SFB is not set
# CONFIG_NET_SCH_SFQ is not set
# CONFIG_NET_SCH_TEQL is not set
# CONFIG_NET_SCH_TBF is not set
# CONFIG_NET_SCH_CBS is not set
# CONFIG_NET_SCH_ETF is not set
# CONFIG_NET_SCH_TAPRIO is not set
# CONFIG_NET_SCH_GRED is not set
# CONFIG_NET_SCH_NETEM is not set
# CONFIG_NET_SCH_DRR is not set
# CONFIG_NET_SCH_SKBPRIO is not set
# CONFIG_NET_SCH_CHOKE is not set
# CONFIG_NET_SCH_QFQ is not set
CONFIG_NET_SCH_FQ=y
# CONFIG_NET_SCH_HHF is not set
# CONFIG_NET_SCH_PLUG is not set
# CONFIG_NET_SCH_ETS is not set
# CONFIG_NET_CLS_BASIC is not set
# CONFIG_NET_CLS_ROUTE4 is not set
# CONFIG_NET_CLS_FW is not set
# CONFIG_NET_CLS_U32 is not set
# CONFIG_NET_CLS_FLOW is not set
# CONFIG_NET_CLS_CGROUP is not set
# CONFIG_NET_CLS_BPF is not set
# CONFIG_NET_CLS_FLOWER is not set
# CONFIG_NET_CLS_MATCHALL is not set
# CONFIG_NET_EMATCH is not set
# CONFIG_NET_CLS_ACT is not set

##
## file: net/sctp/Kconfig
##
# CONFIG_SCTP_DBG_OBJCNT is not set

##
## file: net/smc/Kconfig
##
CONFIG_SMC=m
CONFIG_SMC_DIAG=m
# CONFIG_SMC_LO is not set

##
## file: net/sunrpc/Kconfig
##
CONFIG_SUNRPC_XPRT_RDMA=m

##
## file: net/tipc/Kconfig
##
CONFIG_TIPC_MEDIA_IB=y

##
## file: net/vmw_vsock/Kconfig
##
CONFIG_HYPERV_VSOCKETS=m

##
## file: net/x25/Kconfig
##
# CONFIG_X25 is not set

##
## file: security/Kconfig
##
# CONFIG_SECURITY_INFINIBAND is not set

##
## file: security/Kconfig.hardening
##
# CONFIG_LIST_HARDENED is not set
# CONFIG_BUG_ON_DATA_CORRUPTION is not set

##
## file: security/keys/Kconfig
##
# CONFIG_KEYS_REQUEST_CACHE is not set
# CONFIG_TRUSTED_KEYS is not set
# CONFIG_USER_DECRYPTED_DATA is not set

##
## file: sound/Kconfig
##
# CONFIG_SOUND is not set

##
## file: unknown
##
CONFIG_842_COMPRESS=m
CONFIG_842_DECOMPRESS=m
CONFIG_ARCH_HAS_GENERIC_CRASHKERNEL_RESERVATION=y
CONFIG_ARCH_SELECTS_KEXEC_FILE=y
CONFIG_BLK_DEV_RNBD=y
CONFIG_CRASH_RESERVE=y
CONFIG_CRYPTO_ECC=m
CONFIG_CRYPTO_LIB_AESCFB=m
CONFIG_CXL_PORT=y
CONFIG_FB_IOMEM_HELPERS_DEFERRED=y
CONFIG_HVC_IRQ=y
CONFIG_HYPERV_TIMER=y
CONFIG_HZ=100
CONFIG_INFINIBAND_ADDR_TRANS_CONFIGFS=y
CONFIG_INFINIBAND_RTRS=m
CONFIG_INFINIBAND_USER_MEM=y
CONFIG_INFINIBAND_VIRT_DMA=y
CONFIG_IP_VS_PROTO_AH_ESP=y
CONFIG_KEXEC_CORE=y
CONFIG_LZ4HC_COMPRESS=m
CONFIG_LZ4_COMPRESS=m
CONFIG_MFD_CORE=m
CONFIG_MMU_GATHER_RCU_TABLE_FREE=y
CONFIG_MMU_GATHER_TABLE_FREE=y
CONFIG_ND_BTT=m
CONFIG_ND_PFN=m
CONFIG_NETFS_SUPPORT=m
# CONFIG_NVMEM_LAYOUTS is not set
CONFIG_PARAVIRT_CLOCK=y
CONFIG_PARAVIRT_XXL=y
CONFIG_PCI_XEN=y
CONFIG_PGTABLE_LEVELS=5
CONFIG_PREEMPT_NONE_BUILD=y
CONFIG_RATIONAL=m
CONFIG_SCSI_COMMON=m
CONFIG_SCSI_MOD=m
CONFIG_SCSI_NETLINK=y
CONFIG_SWIOTLB_XEN=y
CONFIG_SYS_HYPERVISOR=y
CONFIG_TCG_TIS_CORE=m
CONFIG_X86_HV_CALLBACK_VECTOR=y
CONFIG_XEN_ACPI=y
CONFIG_XEN_AUTO_XLATE=y
CONFIG_XEN_EFI=y
CONFIG_XEN_GRANT_DMA_OPS=y
CONFIG_XEN_HAVE_PVMMU=y
CONFIG_XEN_HAVE_VPMU=y
CONFIG_XEN_PCI_STUB=y
CONFIG_XEN_PVHVM=y
CONFIG_XEN_PVHVM_SMP=y
CONFIG_XEN_PV_SMP=y
CONFIG_XEN_SAVE_RESTORE=y
CONFIG_XEN_XENBUS_FRONTEND=y
CONFIG_ZSTD_COMPRESS=m