summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/examples/bare-hurd64.tmpl2
-rw-r--r--gnu/system/hurd.scm9
-rw-r--r--gnu/system/images/hurd.scm2
3 files changed, 2 insertions, 11 deletions
diff --git a/gnu/system/examples/bare-hurd64.tmpl b/gnu/system/examples/bare-hurd64.tmpl
index 8d99dffa776..5cb04c2d0fc 100644
--- a/gnu/system/examples/bare-hurd64.tmpl
+++ b/gnu/system/examples/bare-hurd64.tmpl
@@ -32,7 +32,7 @@
(define %hurd64-os
(operating-system
- (inherit %hurd64-default-operating-system)
+ (inherit %hurd-default-operating-system)
(bootloader (bootloader-configuration
(bootloader grub-minimal-bootloader)
(targets '("/dev/sdX"))))
diff --git a/gnu/system/hurd.scm b/gnu/system/hurd.scm
index fa63a8cbef3..96aeed37dcc 100644
--- a/gnu/system/hurd.scm
+++ b/gnu/system/hurd.scm
@@ -52,8 +52,6 @@
%desktop-services/hurd
%hurd-default-operating-system
%hurd-default-operating-system-kernel
- %hurd64-default-operating-system
- %hurd64-default-operating-system-kernel
%setuid-programs/hurd))
;;; Commentary:
@@ -66,9 +64,6 @@
(define %hurd-default-operating-system-kernel
gnumach)
-(define %hurd64-default-operating-system-kernel
- %hurd-default-operating-system-kernel)
-
(define %base-packages/hurd
;; Note: the Shepherd comes before the Hurd, not just because its duty is to
;; shepherd the herd, but also because we want its 'halt' and 'reboot'
@@ -144,8 +139,4 @@
(privileged-programs '())
(setuid-programs %setuid-programs/hurd)))
-(define %hurd64-default-operating-system
- (operating-system
- (inherit %hurd-default-operating-system)
- (kernel %hurd64-default-operating-system-kernel)))
diff --git a/gnu/system/images/hurd.scm b/gnu/system/images/hurd.scm
index 0aba57d2f31..ba223b1e0cd 100644
--- a/gnu/system/images/hurd.scm
+++ b/gnu/system/images/hurd.scm
@@ -71,7 +71,7 @@
(define hurd64-barebones-os
(operating-system
- (inherit %hurd64-default-operating-system)
+ (inherit %hurd-default-operating-system)
(bootloader (bootloader-configuration
(bootloader grub-minimal-bootloader)
(targets '("/dev/sdX"))))