# Copyright 2020 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.

shell:
 - make x86_64_defconfig: [-nodefconfig]
 - make kvm_guest.config: [-cuttlefish]

config:
 # root=/dev/sda is not necessary correct, but it's a common setting and user arguments are appended
 # to the builtin command line, so user can always override this.
 # vsyscall=native required to run x86_64 executables on android kernels (it disables VDSO by default).
 - CMDLINE: [append, "root=/dev/sda console=ttyS0 vsyscall=native numa=fake=2 kvm-intel.nested=1 spec_store_bypass_disable=prctl nopcid vivid.n_devs=16 vivid.multiplanar=1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2 netrom.nr_ndevs=16 rose.rose_ndevs=16"]
 - CMDLINE_BOOL

 # Should be faster this way.
 - MCORE2
 - BASE_FULL

 # 32-on-64 support (compat).
 - IA32_EMULATION
 # X86_X32 renamed to X86_X32_ABI in v5.18
 - X86_X32: [-baseline, -v5.18]
 - X86_X32_ABI: [-baseline, v5.18]

 # Moved from legacy config, reason for enabling is unknown.
 - KALLSYMS_ABSOLUTE_PERCPU
 - X86_MSR
 - X86_CPUID
 - X86_5LEVEL: n

 # Should be faster this way.
 - PARAVIRT_SPINLOCKS
 - PARAVIRT_DEBUG

 - PROCESSOR_SELECT
 - CPU_SUP_HYGON: n
 - CPU_SUP_CENTAUR: n
 - CPU_SUP_ZHAOXIN: n

 # Required to boot Debian Wheezy.
 - X86_VSYSCALL_EMULATION

 # Intel network support.
 # TODO: should we switch to virtio instead?
 - ETHERNET
 - NET_VENDOR_INTEL
 # Module in cuttlefish.
 - E1000: [-cuttlefish]

 - X86_ACPI_CPUFREQ
 - CPU_IDLE_GOV_HALTPOLL: [v4.16]
 - X86_INTEL_TSX_MODE_ON: [v4.16]
 - INTEL_IDLE
 - LEGACY_VSYSCALL_EMULATE: [-v5.18]
 - EFI: n

 - TRACE_EVENT_INJECT: [v5.5]
 - PM_TRACE_RTC: [optional]

 # Allows to boot kernel via qemu directly from a vmlinux file.
 - PVH
