1 files changed, 18 insertions, 0 deletions
diff --git a/grid5000/steps/data/setup/puppet/modules/env/manifests/big/prepare_kernel_module_build.pp b/grid5000/steps/data/setup/puppet/modules/env/manifests/big/prepare_kernel_module_build.pp
new file mode 100644
index 0000000..4d5c978
--- /dev/null
+++ b/grid5000/steps/data/setup/puppet/modules/env/manifests/big/prepare_kernel_module_build.pp
@@ -0,0 +1,18 @@
+class env::big::prepare_kernel_module_build {
+
+  # Prepare everything needed to build a custom kernel module.
+  # Installs kernel headers for the latest available kernel, which can be different
+  # from the running kernel.
+
+  package {
+    ['module-assistant', 'dkms']:
+      ensure    => installed;
+  }
+
+  exec {
+    'prepare_kernel_module_build':
+      command   => "/usr/bin/m-a prepare -i -l ${installed_kernelreleases[-1]}",
+      user      => root,
+      require   => Package['module-assistant'];
+  }
+}