From: Samuel Hym <samuel@tarides.com>
Date: Mon, 20 Jan 2025 17:40:30 +0000 (+0100)
Subject: plat/kvm: Select `HAVE_IBMPC` only on x86_64
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=30f46524e73327d19a9f51d8fc656259ba28f82d;p=unikraft%2Funikraft.git

plat/kvm: Select `HAVE_IBMPC` only on x86_64

Without this patch, asking `kraft` to build for QEMU on arm64 with its
default configuration gives a series of warnings such as:

```
WARNING: unmet direct dependencies detected for HAVE_IBMPC_VGA
  Depends on [n]: ARCH_X86_64 [=n]
  Selected by [y]:
  - HAVE_IBMPC [=y]
```

and `HAVE_IBMPC` is set to yes in the generated configuration.

Signed-off-by: Samuel Hym <samuel@tarides.com>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Michalis Pappas <michalis@unikraft.io>
GitHub-Closes: #1565
---

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index 31f85682e..507515ba2 100644
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -103,7 +103,7 @@ config KVM_VMM_QEMU
 	imply LIBUKINTCTLR_GICV2 if ARCH_ARM_64
 	imply LIBUKRTC_PL031
 	imply LIBVGACONS if ARCH_X86_64
-	select HAVE_IBMPC
+	select HAVE_IBMPC if ARCH_X86_64
 	select HAVE_PCI
 	select HAVE_MMIO