|
@@ -6259,6 +6259,7 @@ CONFIG_VDSO=y
|
|
|
# CONFIG_VF610_ADC is not set
|
|
# CONFIG_VF610_ADC is not set
|
|
|
# CONFIG_VF610_DAC is not set
|
|
# CONFIG_VF610_DAC is not set
|
|
|
# CONFIG_VFAT_FS is not set
|
|
# CONFIG_VFAT_FS is not set
|
|
|
|
|
+# CONFIG_VFIO is not set
|
|
|
# CONFIG_VGASTATE is not set
|
|
# CONFIG_VGASTATE is not set
|
|
|
# CONFIG_VGA_ARB is not set
|
|
# CONFIG_VGA_ARB is not set
|
|
|
# CONFIG_VGA_SWITCHEROO is not set
|
|
# CONFIG_VGA_SWITCHEROO is not set
|