8 CONFIG_DRM_RADEON_USERPTR=y
10 CONFIG_NOUVEAU_DEBUG=5
11 CONFIG_NOUVEAU_DEBUG_DEFAULT=3
12 CONFIG_DRM_NOUVEAU_BACKLIGHT=y
15 CONFIG_DRM_VMWGFX_FBCON=y
18 CONFIG_FB_DEFERRED_IO=y
20 CONFIG_IRQ_BYPASS_MANAGER=m
24 CONFIG_HAVE_KVM_IRQCHIP=y
25 CONFIG_HAVE_KVM_IRQFD=y
26 CONFIG_HAVE_KVM_IRQ_ROUTING=y
27 CONFIG_HAVE_KVM_EVENTFD=y
31 CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT=y
33 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
35 CONFIG_HAVE_KVM_IRQ_BYPASS=y