#
# we don't create debuginfo pkgs anyway
# so lets speed up builds a bit ...
#
CONFIG_DEBUG_INFO=n

#
# don't sign modules, no keys
#
CONFIG_MODULE_SIG=n
CONFIG_SYSTEM_TRUSTED_KEYS=""

#
# enable some modules
#
CONFIG_DRM_VGEM=m
CONFIG_DRM_VKMS=m

CONFIG_SAMPLES=y
CONFIG_SAMPLE_VFIO_MDEV_MTTY=m
CONFIG_SAMPLE_VFIO_MDEV_MDPY=m
CONFIG_SAMPLE_VFIO_MDEV_MDPY_FB=m
CONFIG_SAMPLE_VFIO_MDEV_MBOCHS=m

CONFIG_VIRTIO_MMIO=y
CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y

#
# enable simplefb driver
#
CONFIG_X86_SYSFB=y
CONFIG_FB_SIMPLE=y

#
# enable udmabuf driver
#
CONFIG_UDMABUF=y