From 81d74d8f75c4a018e5a27aa5f7042980c752751c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aleix=20Bon=C3=A9?= <aleix.boneribo@bsc.es>
Date: Mon, 6 Oct 2025 17:19:27 +0200
Subject: [PATCH] Add sysDevicesSupport to nixpkgs overlay

---
 m/common/base/sys-devices.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/m/common/base/sys-devices.nix b/m/common/base/sys-devices.nix
index 414d8b66..41fa007f 100644
--- a/m/common/base/sys-devices.nix
+++ b/m/common/base/sys-devices.nix
@@ -6,4 +6,10 @@
     "/sys/devices/system/cpu"
     "/sys/devices/system/node"
   ];
+
+  # similar to cudaSupport, this can be used to activate certain features
+  # conditionally.
+  nixpkgs.overlays = [
+    (final: prev: { sysDevicesSupport = true; })
+  ];
 }