add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/vfio/Kconfig
..
..
@@ -1,3 +1,4 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 config VFIO_IOMMU_TYPE1
2
3
 	tristate
3
4
 	depends on VFIO
..
..
@@ -20,11 +21,11 @@
20
21
 
21
22
 menuconfig VFIO
22
23
 	tristate "VFIO Non-Privileged userspace driver framework"
23
-	depends on IOMMU_API
24
-	select VFIO_IOMMU_TYPE1 if (X86 || S390 || ARM_SMMU || ARM_SMMU_V3)
24
+	select IOMMU_API
25
+	select VFIO_IOMMU_TYPE1 if MMU && (X86 || S390 || ARM || ARM64)
25
26
 	help
26
27
 	  VFIO provides a framework for secure userspace device drivers.
27
-	  See Documentation/vfio.txt for more details.
28
+	  See Documentation/driver-api/vfio.rst for more details.
28
29
 
29
30
 	  If you don't know what to do here, say N.
30
31
 
..
..
@@ -46,4 +47,5 @@
46
47
 source "drivers/vfio/pci/Kconfig"
47
48
 source "drivers/vfio/platform/Kconfig"
48
49
 source "drivers/vfio/mdev/Kconfig"
50
+source "drivers/vfio/fsl-mc/Kconfig"
49
51
 source "virt/lib/Kconfig"