summaryrefslogtreecommitdiff
path: root/gnu
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
parentc55acb073248392b1387017378f36a1d378fa7c4 (diff)
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')
-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))