branch master updated: doc: Expound some sections of the infra handbook.

[Maxim Cournoyer]

This is an automated email from the git hooks/post-receive script.

apteryx pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 0313d3e  doc: Expound some sections of the infra handbook.
0313d3e is described below

commit 0313d3e8b066d6abc472a717020e0236024e06ea
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Fri Jan 20 21:48:39 2023 -0500

    doc: Expound some sections of the infra handbook.
    
    * doc/infra-handbook.org (Boot device): Mention the server operates
    best in UEFI mode.
    (iDRAC serial console access to Berlin): Explicit how to enter the
    serial console.
    (Repairing a non-bootable Guix System via a PXE booted image):
    Explain how to trigger a PXE boot.
    (The boot fails with kernel panick on qla2xxx-related errors): Fix a
    typo.
---
 doc/infra-handbook.org | 42 +++++++++++++++++++++++++++---------------
 1 file changed, 27 insertions(+), 15 deletions(-)

diff --git a/doc/infra-handbook.org b/doc/infra-handbook.org
index c72de57..fa005c3 100644
--- a/doc/infra-handbook.org
+++ b/doc/infra-handbook.org
@@ -38,10 +38,11 @@ file:../hydra/deploy-node-129.scm.
 
 ** Boot device
 
-The boot device is made of two 931 GB rotational disks attached to the
-PERC controller card and configured in RAID 1.  It holds the UEFI
-partition as well as another partition for /boot.  It is made
-necessary because the SAN is not visible to GRUB.
+The PowerEdge R7425 firmware works best in UEFI mode.  The boot device
+is made of two 931 GB rotational disks attached to the PERC controller
+card and configured in RAID 1.  It holds the UEFI partition as well as
+another partition for /boot.  It is made necessary because the SAN is
+not visible to GRUB.
 
 ** SSH access to Berlin and node 129
 The following ~~/.ssh/config~ snippets can be defined to access the
@@ -129,22 +130,33 @@ access its iDRAC interface, because this wouldn't work in 
case berlin
 is not currently running.  For the same reason, the iDRAC interface of
 node 129 is reached by proxy jumping through berlin.
 
+After having connected to the iDRAC interface, the serial console can
+be entered by typing the ~console com2~ command at the ~racadm>> ~
+prompt.  To exit, press ~C-\~.
+
 ** Repairing a non-bootable Guix System via a PXE booted image
 
 One way to fix a non-bootable Guix System is to boot a different
 GNU/Linux system and mount the partitions and make changes to them.
 This is made possible for Berlin and node 129 by having their boot
 mode fallback to a network (PXE) boot, and using the serial console to
-navigate the boot menus.  The images are made available via the MDC
-infrastructure team via [[https://github.com/cobbler/cobbler][Cobbler]] , and 
only a few of the images
-available are bootable (sadly, Guix System is not one of them).
-
-One image which works and has Btrfs support is
-"Ubuntu-22.04-server-amd64", but you need to adjust its 'clinux'
-kernel arguments at boot to add ~console=ttyS0,115200~ in order to see
-the serial output.  There is a convenient way to turn on SSH at the
-installer screen, which you can connect to from the ~hydra-guix-129~
-machine.
+navigate the boot menus.
+
+Pressing F12 as suggested during the boot to reach PXE doesn't seem to
+work.  An alternative way is to visit the "BIOS Settings" tab of the
+"Configuration" via the iDAC web interface, navigate to the "One-Time
+Boot Device List" section, choose the PXE device entry for the "UEFI
+Boot Sequence Device" drop-down menu, press the "Apply" button, then
+"Apply And Reboot" at the bottom.
+
+The images are made available by the MDC infrastructure team via
+[[https://github.com/cobbler/cobbler][Cobbler]] , and only a few of the images 
available are bootable (sadly,
+Guix System is not one of them).  One image which works and has Btrfs
+support is "Ubuntu-22.04-server-amd64", but you need to adjust its
+'clinux' kernel arguments at the GRUB menu boot to add
+~console=ttyS0,115200~ in order to see the serial output.  There is a
+convenient way to turn on SSH at the installer screen, which you can
+connect to from the ~hydra-guix-129~ or ~berlin~ machines.
 
 You can then mount the file systems and modify ~/boot/grub/grub.cfg~
 or anything.  If you need to reconfigure the machine, you can refer
@@ -244,6 +256,6 @@ Here's an example:
 #+end_example
 Solution: This is indicative of a device failure part of the backing
 devices of the SAN (Storage Area Network) array.  Ensure multipath is
-in used to mount the SAN (TBD), which adds resiliency to this problem,
+in use to mount the SAN (TBD), which adds resiliency to this problem,
 and report the problem to Ricardo Wurmus/the SIMB infrastructure
 department.