8 CONFIG_DRM_RADEON_USERPTR=y
9 # CONFIG_DRM_RADEON_UMS is not set
11 CONFIG_NOUVEAU_DEBUG=5
12 CONFIG_NOUVEAU_DEBUG_DEFAULT=3
13 CONFIG_DRM_NOUVEAU_BACKLIGHT=y
16 CONFIG_DRM_VMWGFX_FBCON=y
21 CONFIG_FB_DEFERRED_IO=y
23 # CONFIG_LEDS_DELL_NETBOOKS is not set
24 CONFIG_IRQ_BYPASS_MANAGER=m
25 # CONFIG_ACER_WMI is not set
26 # CONFIG_ALIENWARE_WMI is not set
27 # CONFIG_DELL_WMI is not set
28 # CONFIG_DELL_WMI_AIO is not set
29 # CONFIG_HP_WMI is not set
30 # CONFIG_ASUS_WMI is not set
32 # CONFIG_MSI_WMI is not set
33 # CONFIG_ACPI_TOSHIBA is not set
34 # CONFIG_TOSHIBA_WMI is not set
37 CONFIG_HAVE_KVM_IRQCHIP=y
38 CONFIG_HAVE_KVM_IRQFD=y
39 CONFIG_HAVE_KVM_IRQ_ROUTING=y
40 CONFIG_HAVE_KVM_EVENTFD=y
41 CONFIG_KVM_APIC_ARCHITECTURE=y
45 CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT=y
47 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
49 CONFIG_HAVE_KVM_IRQ_BYPASS=y
52 # CONFIG_KVM_AMD is not set
53 # CONFIG_KVM_MMU_AUDIT is not set