diff options
| author | Yelninei <yelninei@tutamail.com> | 2025-05-09 18:26:54 +0000 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2025-05-24 09:03:37 +0200 |
| commit | 8f852885de485098812450711e81c1f446d3acb6 (patch) | |
| tree | 455db4546bfc46af2ee81aa60a1bc202b03927dc /gnu/system | |
| parent | 288bb382418f79bf44a621c6cbb04f17a4bc1067 (diff) | |
system: hurd: Use the regular gnumach as default kernel.
* gnu/system/hurd.scm (%hurd-default-operating-system-kernel,
%hurd64-default-operating-system-kernel): Set to gnumach.
Change-Id: I7d5515c95e2994e2f0c4ae3a43afe4e6575a53ed
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/hurd.scm | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/gnu/system/hurd.scm b/gnu/system/hurd.scm index c9df366f24..1436f7b52c 100644 --- a/gnu/system/hurd.scm +++ b/gnu/system/hurd.scm @@ -64,20 +64,10 @@ ;;; Code: (define %hurd-default-operating-system-kernel - (if (system-hurd?) - gnumach - ;; A cross-built GNUmach does not work - (with-parameters ((%current-system "i686-linux") - (%current-target-system #f)) - gnumach))) + gnumach) (define %hurd64-default-operating-system-kernel - (if (system-hurd?) - gnumach - ;; A cross-built GNUmach does not work - (with-parameters ((%current-system "x86_64-linux") - (%current-target-system #f)) - gnumach))) + %hurd-default-operating-system-kernel) (define %base-packages/hurd ;; Note: the Shepherd comes before the Hurd, not just because its duty is to |