1 files changed, 16 insertions, 0 deletions
diff --git a/grid5000/steps/data/setup/puppet/modules/env/manifests/base/configure_kexec.pp b/grid5000/steps/data/setup/puppet/modules/env/manifests/base/configure_kexec.pp
new file mode 100644
index 0000000..55a95b0
--- /dev/null
+++ b/grid5000/steps/data/setup/puppet/modules/env/manifests/base/configure_kexec.pp
@@ -0,0 +1,16 @@
+class env::base::configure_kexec {
+
+  file {
+    "/etc/default/kexec":
+      mode    => '0755',
+      owner   => root,
+      group   => root,
+      source  => "puppet:///modules/env/base/kexec/kexec";
+  }
+
+  package {
+    'kexec-tools':
+      ensure  => installed;
+  }
+
+}