From 06ccf42b00a66852efbdf5d07d2ebaa0e11351fa Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 26 Feb 2020 15:29:12 +0100
Subject: [PATCH] after much staggering and stumbling, let's try this road for
 building root images with a kernel

---
 config.lxc/bootcd.pkgs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/config.lxc/bootcd.pkgs b/config.lxc/bootcd.pkgs
index 295c4a5d..b9504a3e 100644
--- a/config.lxc/bootcd.pkgs
+++ b/config.lxc/bootcd.pkgs
@@ -12,6 +12,12 @@ package: coreutils
 package: iputils
 package: kernel
 package>=f23: kernel-modules kernel-modules-extra
+# f31: building root images with a kernel with kernel-core
+# apparently this requires grubby-deprecated;
+# it might even be safer to install that one 
+# earlier so that we can be sure that grubby-deprecated is there
+# when the kernel-core install scriptlet triggers
+package>=f31: grubby-deprecated kernel-core 
 package>=f24: systemd-udev
 package: bzip2
 package: diffutils
-- 
2.43.0