1 files changed, 17 insertions, 0 deletions
diff --git a/grid5000/steps/data/setup/puppet/modules/env/manifests/min/kernel/remove_old.pp b/grid5000/steps/data/setup/puppet/modules/env/manifests/min/kernel/remove_old.pp
new file mode 100644
index 0000000..15118e2
--- /dev/null
+++ b/grid5000/steps/data/setup/puppet/modules/env/manifests/min/kernel/remove_old.pp
@@ -0,0 +1,17 @@
+class env::min::kernel::remove_old {
+  # Remove the current kernel if it's not the last one
+  if $kernelrelease != $installed_kernelreleases[-1] {
+    package { "linux-image-$kernelrelease":
+      ensure => 'purged'
+    }
+
+    file {
+      "/lib/modules/$kernelrelease":
+        ensure => absent,
+        force  => true;
+      "/usr/lib/modules/$kernelrelease":
+        ensure => absent,
+        force  => true;
+    }
+  }
+}