From f94ade15d1745d51a93e9e312df6c37c701a2719 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 25 Oct 2023 01:11:24 +0200
Subject: 64bit: Set default boot entry in grub

---
 open_issues/64-bit_port.mdwn | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn
index 9693ee15..7323f1d6 100644
--- a/open_issues/64-bit_port.mdwn
+++ b/open_issues/64-bit_port.mdwn
@@ -94,6 +94,8 @@ You can then make the disk bootable:
 
     mkdir chroot-hurd-amd64/boot/grub
     tee chroot-hurd-amd64/boot/grub/grub.cfg << 'EOF'
+    set default="0"
+    set timeout=5
     menuentry "Debian GNU/Hurd amd64" {
             insmod ext2
             set root=(hd0,1)
-- 
cgit v1.2.3