Fix kernel installed check

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index f3ff5589cbc731446648d7fd33e240e16fc837c8..992e268eb0926f41e7734be741c1ee98f60c9551 100644 (file)
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -2322,7 +2322,7 @@ def install_kernel(context: Context, partitions: Sequence[Partition]) -> None:
     if want_uki(context) and not stub.exists():
         die(f"Unified kernel image(s) requested but systemd-stub not found at /{stub.relative_to(context.root)}")
 
-    if context.config.bootable == ConfigFeature.enabled and not gen_kernel_images(context):
+    if context.config.bootable == ConfigFeature.enabled and not any(gen_kernel_images(context)):
         die("A bootable image was requested but no kernel was found")
 
     token = find_entry_token(context)