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"))))