#
# Config options generated by splitconfig
#
# CONFIG_ACPI_AC is not set
# CONFIG_ACPI_BATTERY is not set
# CONFIG_ACPI_FAN is not set
# CONFIG_ACPI_REV_OVERRIDE_POSSIBLE is not set
# CONFIG_ACPI_TABLE_UPGRADE is not set
# CONFIG_ACPI_THERMAL is not set
# CONFIG_AIO is not set
# CONFIG_ALLOW_DEV_COREDUMP is not set
CONFIG_AMD_IOMMU=y
CONFIG_AMD_IOMMU_V2=y
# CONFIG_ARCH_RANDOM is not set
# CONFIG_BASE_FULL is not set
CONFIG_BLK_DEV_INITRD=y
# CONFIG_BLOCK is not set
CONFIG_CC_OPTIMIZE_FOR_SIZE=y
# CONFIG_COMPAT_BRK is not set
# CONFIG_COREDUMP is not set
CONFIG_CPU_IDLE_GOV_LADDER=y
CONFIG_CRYPTO_AES=y
CONFIG_CRYPTO_ECHAINIV=y
CONFIG_DEBUG_FS=y
CONFIG_DEVTMPFS=y
CONFIG_DEVTMPFS_MOUNT=y
CONFIG_DMI_SYSFS=y
# CONFIG_DNOTIFY is not set
CONFIG_EMBEDDED=y
# CONFIG_ENABLE_MUST_CHECK is not set
# CONFIG_FHANDLE is not set
# CONFIG_FILE_LOCKING is not set
CONFIG_FRAME_WARN=1024
CONFIG_GENERIC_IRQ_DEBUGFS=y
CONFIG_GOOGLE_COREBOOT_TABLE=y
CONFIG_GOOGLE_FIRMWARE=y
CONFIG_GOOGLE_MEMCONSOLE_COREBOOT=y
CONFIG_GOOGLE_SMI=y
CONFIG_GOOGLE_VPD=y
CONFIG_HIGH_RES_TIMERS=y
CONFIG_HOTPLUG_PCI=y
CONFIG_HOTPLUG_PCI_ACPI=y
CONFIG_HOTPLUG_PCI_PCIE=y
CONFIG_HPET=y
# CONFIG_HWMON is not set
# CONFIG_HW_RANDOM is not set
CONFIG_HZ_1000=y
CONFIG_IKCONFIG=y
CONFIG_IKCONFIG_PROC=y
CONFIG_INET=y
# CONFIG_INET_DIAG is not set
CONFIG_INITRAMFS_COMPRESSION_NONE=y
CONFIG_INITRAMFS_SOURCE="%ROOT%/var/lib/initramfs/hypervisor_ramfs.cpio"
# CONFIG_INOTIFY_USER is not set
# CONFIG_INPUT is not set
CONFIG_INTEL_IOMMU=y
CONFIG_INTEL_IOMMU_SVM=y
CONFIG_INTEL_PMC_CORE=y
# CONFIG_IO_URING is not set
# CONFIG_IPV6 is not set
CONFIG_IRQ_REMAP=y
# CONFIG_ISA_DMA_API is not set
CONFIG_JUMP_LABEL=y
# CONFIG_KALLSYMS is not set
CONFIG_KEXEC=y
CONFIG_KEXEC_FILE=y
CONFIG_KVM=y
CONFIG_KVM_INTEL=y
CONFIG_LEGACY_VSYSCALL_EMULATE=y
CONFIG_LOCALVERSION="-manatee"
# CONFIG_LOCALVERSION_AUTO is not set
CONFIG_LSM="lockdown,yama,loadpin,safesetid,integrity"
# CONFIG_MEMBARRIER is not set
CONFIG_MFD_INTEL_LPSS_ACPI=y
CONFIG_MFD_INTEL_LPSS_PCI=y
CONFIG_NAMESPACES=y
CONFIG_NET=y
# CONFIG_NETWORK_FILESYSTEMS is not set
CONFIG_NO_HZ_IDLE=y
CONFIG_NVRAM=y
CONFIG_PANIC_ON_OOPS=y
CONFIG_PARPORT=y
CONFIG_PARPORT_PC=y
CONFIG_PARPORT_SERIAL=y
CONFIG_PCI=y
CONFIG_PCIEAER=y
CONFIG_PCIEPORTBUS=y
CONFIG_PCI_STUB=y
# CONFIG_PCSPKR_PLATFORM is not set
# CONFIG_PNP_DEBUG_MESSAGES is not set
# CONFIG_PREVENT_FIRMWARE_BUILD is not set
CONFIG_PRINTK_TIME=y
CONFIG_PSTORE=y
# CONFIG_RCU_TRACE is not set
# CONFIG_RD_BZIP2 is not set
# CONFIG_RD_GZIP is not set
# CONFIG_RD_LZ4 is not set
# CONFIG_RD_LZMA is not set
# CONFIG_RD_LZO is not set
# CONFIG_RELOCATABLE is not set
# CONFIG_RSEQ is not set
# CONFIG_RUNTIME_TESTING_MENU is not set
# CONFIG_SCHED_OMIT_FRAME_POINTER is not set
# CONFIG_SECCOMP is not set
# CONFIG_SECTION_MISMATCH_WARN_ONLY is not set
CONFIG_SECURITY_DMESG_RESTRICT=y
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_8250_DW=y
# CONFIG_SERIO is not set
# CONFIG_SGETMASK_SYSCALL is not set
# CONFIG_SLAB_MERGE_DEFAULT is not set
CONFIG_SMP=y
# CONFIG_STANDALONE is not set
# CONFIG_STRICT_DEVMEM is not set
# CONFIG_SYSFS_SYSCALL is not set
CONFIG_TMPFS=y
CONFIG_TMPFS_POSIX_ACL=y
CONFIG_TRANSPARENT_HUGEPAGE=y
CONFIG_TRANSPARENT_HUGEPAGE_MADVISE=y
CONFIG_UIO=y
CONFIG_UIO_DMEM_GENIRQ=y
CONFIG_UIO_PDRV_GENIRQ=y
CONFIG_UNIX=y
CONFIG_UNWINDER_FRAME_POINTER=y
# CONFIG_USB_SUPPORT is not set
CONFIG_USER_NS=y
CONFIG_VFIO=y
CONFIG_VFIO_PCI=y
# CONFIG_VGA_ARB is not set
CONFIG_VHOST_VSOCK=y
CONFIG_VIRTIO_CONSOLE=y
CONFIG_VIRTIO_PCI=y
CONFIG_VLAN_8021Q=y
# CONFIG_VM_EVENT_COUNTERS is not set
CONFIG_VSOCKETS=y
# CONFIG_VT is not set
# CONFIG_WIRELESS is not set
# CONFIG_X86_16BIT is not set
# CONFIG_X86_5LEVEL is not set
CONFIG_X86_CHECK_BIOS_CORRUPTION=y
CONFIG_X86_CPUID=y
# CONFIG_X86_EXTENDED_PLATFORM is not set
CONFIG_X86_INTEL_LPSS=y
# CONFIG_X86_MPPARSE is not set
CONFIG_X86_MSR=y
CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
# CONFIG_X86_VSYSCALL_EMULATION is not set
# CONFIG_ZONE_DMA is not set