diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-10-25 01:11:24 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-10-25 01:11:24 +0200 |
commit | f94ade15d1745d51a93e9e312df6c37c701a2719 (patch) | |
tree | bf1c660774ffa95a0a8919985a5339bf1238b715 | |
parent | 6bed6f598e87d2799c5fc9bef331b5e4e9f8ed16 (diff) |
64bit: Set default boot entry in grub
-rw-r--r-- | open_issues/64-bit_port.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
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) |