summary refs log tree commit diff
path: root/gnu/build/linux-boot.scm
diff options
context:
space:
mode:
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>2020-05-24 12:41:32 +0200
committerJan Nieuwenhuizen <janneke@gnu.org>2020-06-08 13:51:18 +0200
commit6cea61f2fab26716cd8c2394fc83eac9985f9d97 (patch)
tree65fc6d6f8c336c278b141f32dfbce9e3d944974a /gnu/build/linux-boot.scm
parent1428926f1f0d7577cd2de8d019a27f8082855d03 (diff)
downloadguix-6cea61f2fab26716cd8c2394fc83eac9985f9d97.tar.gz
linux-boot: Update 'make-hurd-device-nodes'.
* gnu/build/linux-boot.scm (make-hurd-device-nodes): Avoid de-duplication of
device mount points; also create mount points for /servers/.
Diffstat (limited to 'gnu/build/linux-boot.scm')
-rw-r--r--gnu/build/linux-boot.scm15
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/build/linux-boot.scm b/gnu/build/linux-boot.scm
index f08bb11514..d62c670684 100644
--- a/gnu/build/linux-boot.scm
+++ b/gnu/build/linux-boot.scm
@@ -337,6 +337,7 @@ one specific hardware device. These we have to create."
   (for-each (lambda (file)
               (call-with-output-file (scope file)
                 (lambda (port)
+                  (display file port)   ;avoid hard-linking
                   (chmod port #o666))))
             '("dev/null"
               "dev/zero"
@@ -347,6 +348,20 @@ one specific hardware device. These we have to create."
   ;; console-run on first boot.
 
   (mkdir (scope "servers"))
+  (for-each (lambda (file)
+              (call-with-output-file (scope (string-append "servers/" file))
+                (lambda (port)
+                  (display file port)   ;avoid hard-linking
+                  (chmod port #o444))))
+            '("startup"
+              "exec"
+              "proc"
+              "password"
+              "default-pager"
+              "crash-dump-core"
+              "kill"
+              "suspend"))
+
   (mkdir (scope "servers/socket"))
   ;; Don't create /servers/socket/1 & co: runsystem does that on first boot.