summary refs log tree commit diff
path: root/gnu/system
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-07-31 12:58:16 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-07-31 12:58:16 +0200
commit6bb07e91e1ab9367f636a3a5e9d52a9e0772aa89 (patch)
tree7c21414ef06ede34a2de38ee3256b498c56d562b /gnu/system
parentc55acb073248392b1387017378f36a1d378fa7c4 (diff)
downloadguix-6bb07e91e1ab9367f636a3a5e9d52a9e0772aa89.tar.gz
file-systems: Add %debug-file-system.
* gnu/system/file-systems.scm (%debug-file-system): New variable,
(%base-file-systems): add it.
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/file-systems.scm10
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm
index f6b0d8a964..660f9942b0 100644
--- a/gnu/system/file-systems.scm
+++ b/gnu/system/file-systems.scm
@@ -68,6 +68,7 @@
             %pseudo-file-system-types
             %fuse-control-file-system
             %binary-format-file-system
+            %debug-file-system
             %shared-memory-file-system
             %pseudo-terminal-file-system
             %tty-gid
@@ -368,6 +369,14 @@ TARGET in the other system."
     (type "binfmt_misc")
     (check? #f)))
 
+(define %debug-file-system
+  (file-system
+    (type "debugfs")
+    (device "none")
+    (mount-point "/sys/kernel/debug")
+    (check? #f)
+    (create-mount-point? #t)))
+
 (define %tty-gid
   ;; ID of the 'tty' group.  Allocate it statically to make it easy to refer
   ;; to it from here and from the 'tty' group definitions.
@@ -467,6 +476,7 @@ TARGET in the other system."
   ;; List of basic file systems to be mounted.  Note that /proc and /sys are
   ;; currently mounted by the initrd.
   (list %pseudo-terminal-file-system
+        %debug-file-system
         %shared-memory-file-system
         %immutable-store))