1 files changed, 25 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm
index f78df7ce19..9ce94d0230 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -64,7 +64,10 @@
             file-system-type
             file-system-needed-for-boot?
             file-system-flags
-            file-system-options))
+            file-system-options
+
+            %fuse-control-file-system
+            %binary-format-file-system))
 
 ;;; Commentary:
 ;;;
@@ -126,6 +129,11 @@
   (sudoers operating-system-sudoers               ; /etc/sudoers contents
            (default %sudoers-specification)))
 
+
+;;;
+;;; File systems.
+;;;
+
 ;; File system declaration.
 (define-record-type* <file-system> file-system
   make-file-system
@@ -142,6 +150,22 @@
   (check?           file-system-check?            ; Boolean
                     (default #t)))
 
+(define %fuse-control-file-system
+  ;; Control file system for Linux' file systems in user-space (FUSE).
+  (file-system
+    (device "fusectl")
+    (mount-point "/sys/fs/fuse/connections")
+    (type "fusectl")
+    (check? #f)))
+
+(define %binary-format-file-system
+  ;; Support for arbitrary executable binary format.
+  (file-system
+    (device "binfmt_misc")
+    (mount-point "/proc/sys/fs/binfmt_misc")
+    (type "binfmt_misc")
+    (check? #f)))
+
 
 ;;;
 ;;; Derivation.