diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-05-15 11:38:50 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-07-13 18:58:53 +0200 |
| commit | 5981e99f0a643e30e7af0f0a07f0034d363a843f (patch) | |
| tree | 8289ec6b33840c35bf7f1d099fd3d7f8dcecb647 /etc | |
| parent | 451b2db3dfc312e750e8c6e38cf5e25ac7579f1f (diff) | |
| download | guix-5981e99f0a643e30e7af0f0a07f0034d363a843f.tar.gz | |
gnu: hurd: Add rumpkernel.
* gnu/packages/patches/hurd-fix-rumpdisk-build.patch, gnu/packages/patches/hurd-rumpdisk-no-hd.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/hurd.scm (hurd): Use them. (hurd)[inputs]: Replace util-linux with util-linux:static, add parted, rumpkernel. [arguments]: Rename `prepare-dde' phase to 'prepare-addons'. Add "rumpdisk" directory. Add --enable-static-progs=... option to #:configure-flags, and remove --without-parted. Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions