CMake: just depend on VmPCISupport

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 28, 2024 · 71f3522 · 71f3522
1 parent a5565bb
commit 71f3522
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt
@@ -42,7 +42,7 @@ config_option(
     VM_VIRTIO_NET_ARPING
     "Enable virtio net arping module"
     DEPENDS
-    "KernelPlatformExynos5410 OR KernelPlatformExynos5422 OR KernelPlatformTx2 OR KernelPlatformQEMUArmVirt;VmPCISupport"
+    "VmPCISupport"
     DEFAULT
     OFF
 )
@@ -52,7 +52,7 @@ config_option(
     VM_VIRTIO_NET_VIRTQUEUE
     "Enable virtio net virtqueue forwarding module"
     DEPENDS
-    "KernelPlatformExynos5410 OR KernelPlatformExynos5422 OR KernelPlatformTx2 OR KernelPlatformQEMUArmVirt OR KernelPlatformZynqmp;VmPCISupport"
+    "VmPCISupport"
     DEFAULT
     OFF
 )
@@ -62,7 +62,7 @@ config_option(
     VM_VIRTIO_CON
     "Enable virtio console module"
     DEPENDS
-    "KernelPlatformExynos5410 OR KernelPlatformExynos5422 OR KernelPlatformQEMUArmVirt;VmPCISupport"
+    "VmPCISupport"
     DEFAULT
     OFF
 )