diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-07-31 12:58:16 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-07-31 12:58:16 +0200 |
| commit | 6bb07e91e1ab9367f636a3a5e9d52a9e0772aa89 (patch) | |
| tree | 7c21414ef06ede34a2de38ee3256b498c56d562b /gnu | |
| parent | c55acb073248392b1387017378f36a1d378fa7c4 (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.scm | 10 |
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)) |