diff options
| author | Janneke Nieuwenhuizen <[email protected]> | 2023-05-30 18:02:38 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <[email protected]> | 2024-11-11 07:28:33 +0100 |
| commit | b25d2ad5c7bba8c2818ea269b0549ef5ce10823a (patch) | |
| tree | f8a5e911b666992b8d076871499992ab757fdc94 /gnu/packages/hurd.scm | |
| parent | a16c94446e81c65715825853b19e9dccf39225dc (diff) | |
gnu: hurd: Support second boot.
This avoids hanging upon second boot and ensures a declarative /hurd and /dev.
* gnu/packages/patches/hurd-startup.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/hurd.scm (hurd): Use it.
[arguments]: In stage create-runsystem remove /dev/urandom.
Change-Id: Ifcca5562c297204735c35132820a32ca0f273677
Diffstat (limited to 'gnu/packages/hurd.scm')
| -rw-r--r-- | gnu/packages/hurd.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index e6ea920714..9c1681f236 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -317,7 +317,8 @@ Hurd-minimal package which are needed for both glibc and GCC.") (name "hurd") (source (origin (inherit (package-source hurd-headers)) - (patches (search-patches "hurd-rumpdisk-no-hd.patch")))) + (patches (search-patches "hurd-rumpdisk-no-hd.patch" + "hurd-startup.patch")))) (version (package-version hurd-headers)) (arguments `(#:tests? #f ;no "check" target @@ -388,6 +389,9 @@ rm -f /servers/socket/1 # Note: this /hurd/ gets substituted settrans --create /servers/socket/1 /hurd/pflocal +# Upon second boot, (file-exists? /dev/null) in hurd-boot-system hangs unless: +rm -f /dev/urandom + # parse multiboot arguments for i in \"$@\"; do case $i in |