# 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 defconfig
 - make kvm_guest.config

config:
 # CMDLINE is not supported on s390, which is bad as we rely on the builtin CMDLINE for lots of things...
 - CMDLINE: [n, override]
 # See the comment in x86_64.yml re these numbers.
 - RCU_CPU_STALL_TIMEOUT: 300
