From 2717a89a84f9af72f1e0d32d96e192ea088a5124 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 14 May 2014 23:17:03 +0200
Subject: system: Provide declarations for the 'fusectl' and 'binfmt_misc' file
 systems.

* gnu/system.scm (%fuse-control-file-system,
  %binary-format-file-system): New variables.
* build-aux/hydra/demo-os.scm (file-systems): New field.
---
 gnu/system.scm | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

(limited to 'gnu')

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.
-- 
cgit v1.2.3