diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-06-25 17:07:25 +0200 |
---|---|---|
committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-06-27 13:01:40 +0200 |
commit | 65d95e5d852e47343b9acc1717918c9db7364c01 (patch) | |
tree | c6a502e68dab796a7d0ed90e187714f0c4ad2286 /gnu/build/hurd-boot.scm | |
parent | db08a0d2031469f63c8520ce604d2cbf2b4b980b (diff) |
hurd-boot: Mount /proc, add /etc/mtab.
* gnu/build/hurd-boot.scm (set-hurd-device-translators): Mount /proc. Add
symlink to /etc/mtab into /proc/mounts.
Diffstat (limited to 'gnu/build/hurd-boot.scm')
-rw-r--r-- | gnu/build/hurd-boot.scm | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gnu/build/hurd-boot.scm b/gnu/build/hurd-boot.scm index 8c4f0ac09b..adc8b4ce16 100644 --- a/gnu/build/hurd-boot.scm +++ b/gnu/build/hurd-boot.scm @@ -191,7 +191,8 @@ set." "10.0.2.15" ;the default QEMU guest IP "--netmask" "255.255.255.0" "--gateway" "10.0.2.2" - "--ipv6" "/servers/socket/16")))) + "--ipv6" "/servers/socket/16")) + ("proc" ("/hurd/procfs" "--stat-mode=444")))) (define devices '(("dev/full" ("/hurd/null" "--full") #o666) @@ -242,7 +243,12 @@ set." (mkdir* "dev/fd") (false-if-EEXIST (symlink "/dev/fd/0" (scope "dev/stdin"))) (false-if-EEXIST (symlink "/dev/fd/1" (scope "dev/stdout"))) - (false-if-EEXIST (symlink "/dev/fd/2" (scope "dev/stderr")))) + (false-if-EEXIST (symlink "/dev/fd/2" (scope "dev/stderr"))) + + ;; Make sure /etc/mtab is a symlink to /proc/mounts. + (false-if-exception (delete-file (scope "etc/mtab"))) + (mkdir* (scope "etc")) + (symlink "/proc/mounts" (scope "etc/mtab"))) (define* (boot-hurd-system #:key (on-error 'debug)) |