diff options
Diffstat (limited to 'debian/config/kernelarch-x86/config')
-rw-r--r-- | debian/config/kernelarch-x86/config | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config index 7fd2bcdac25e..4210cc83a926 100644 --- a/debian/config/kernelarch-x86/config +++ b/debian/config/kernelarch-x86/config @@ -125,7 +125,6 @@ CONFIG_KVM=m CONFIG_KVM_INTEL=m CONFIG_KVM_AMD=m # CONFIG_KVM_MMU_AUDIT is not set -CONFIG_KVM_DEVICE_ASSIGNMENT=y ## ## file: arch/x86/ras/Kconfig @@ -433,7 +432,6 @@ CONFIG_DW_DMAC=m CONFIG_EDAC=y # CONFIG_EDAC_DEBUG is not set CONFIG_EDAC_DECODE_MCE=m -CONFIG_EDAC_MM_EDAC=m CONFIG_EDAC_AMD64=m # CONFIG_EDAC_AMD64_ERROR_INJECTION is not set CONFIG_EDAC_AMD76X=m @@ -861,7 +859,6 @@ CONFIG_ISDN_DIVAS_MAINT=m ## file: drivers/leds/Kconfig ## CONFIG_LEDS_CLEVO_MAIL=m -CONFIG_LEDS_DELL_NETBOOKS=m CONFIG_LEDS_MENF21BMC=m ## @@ -889,6 +886,7 @@ CONFIG_IR_NUVOTON=m CONFIG_IR_WINBOND_CIR=m CONFIG_IR_SERIAL=m CONFIG_IR_SERIAL_TRANSMITTER=y +CONFIG_IR_SIR=m ## ## file: drivers/media/tuners/Kconfig @@ -1370,6 +1368,7 @@ CONFIG_ASUS_LAPTOP=m CONFIG_DELL_LAPTOP=m CONFIG_DELL_WMI=m CONFIG_DELL_WMI_AIO=m +CONFIG_DELL_WMI_LED=m CONFIG_DELL_SMO8800=m CONFIG_DELL_RBTN=m CONFIG_FUJITSU_LAPTOP=m @@ -1619,8 +1618,6 @@ CONFIG_STAGING_MEDIA=y ## file: drivers/staging/media/lirc/Kconfig ## CONFIG_LIRC_STAGING=y -CONFIG_LIRC_SASEM=m -CONFIG_LIRC_SIR=m CONFIG_LIRC_ZILOG=m ## |