From 3b305e40f08104f07a2d2395d698d8e8726df136 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <bluca@debian.org>
Date: Thu, 2 Nov 2023 11:01:23 +0000
Subject: [PATCH] mkosi: explicitly disable KVM in GHA runs

mkosi detects whether /dev/kvm is available and uses it if it is. But
some GHA hosts have it, but it's broken and not supported, so we need
to explicitly disable it.

(cherry picked from commit c13e6c720d17a336021a8bd28c5ff5818e61deb6)
(cherry picked from commit b4b04547a73b2d90e33dfa78a2b5c12c05f6e851)
---
 .github/workflows/mkosi.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml
index 6d749cb107..2052647d7f 100644
--- a/.github/workflows/mkosi.yml
+++ b/.github/workflows/mkosi.yml
@@ -95,6 +95,10 @@ jobs:
 
         [Output]
         KernelCommandLine=${{ env.KERNEL_CMDLINE }}
+
+        [Host]
+        # Sometimes we run on a host with /dev/kvm, but it is broken, so explicitly disable it
+        QemuKvm=no
         EOF
 
         # TODO: Remove once archlinux-keyring is updated in ppa:michel-slm/kernel-utils.