From 5c47db2fe4b8462de54e5085a095abfd05443004 Mon Sep 17 00:00:00 2001 From: Isaac Date: Thu, 12 Jun 2025 10:41:16 +0100 Subject: [PATCH 1/3] Add Morello Server Setup Instructions --- faq/setup_morello.rst | 63 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 faq/setup_morello.rst diff --git a/faq/setup_morello.rst b/faq/setup_morello.rst new file mode 100644 index 0000000..9293270 --- /dev/null +++ b/faq/setup_morello.rst @@ -0,0 +1,63 @@ +Morello CHERIBSD Server Setup +==================================== + +1. Download and Write Image +--------------------------- + +First, download Morello CHERI. The current version is available at: + + https://www.cheribsd.org/ + +The version this guide uses is **cheribsd-memstick-arm64-aarch64c-25.03.img.xz**. + +Decompress the installer: + +.. code-block:: bash + + nxz cheribsd-memstick-arm64-aarch64c-25.03.img.xz + +Then write the disk image to a USB: + +.. code-block:: bash + + dd if=cheribsd-memstick-arm64-aarch64c-25.03.img of=/dev/ bs=1M + +2. Install Minicom +------------------ + +Minicom is used to interact with devices connected via serial ports. Install it by running: + +.. code-block:: bash + + sudo apt-get install minicom + +3. Connect to Serial Consoles +----------------------------- + +"First, connect to the MCC firmware console. The serial device for the firmware on the Morello server is `ttyUSB0`. + +The `-b 115200` option sets the baud rate, which matches the Morello server's configuration." + +.. code-block:: bash + + sudo minicom -D /dev/ttyUSB0 -b 115200 + +To access the main platform boot (run this in a separate terminal), connect using `ttyUSB2`: + +.. code-block:: bash + + sudo minicom -D /dev/ttyUSB2 -b 115200 + +It may be need to reboot the MCC firmware if the main platform console does not reach the steps the guide outlines in Stage 4. +If this happens run the following command in the MCC firmware console: + +.. code-block:: bash + + REBOOT + +4. Complete Installation +------------------------ + +To finish booting, follow the official guide: + + https://ctsrd-cheri.github.io/cheribsd-getting-started/morello-install/index.html From 54e55b05949c030dcc42acc9ac96e838bb53446d Mon Sep 17 00:00:00 2001 From: Isaac Date: Thu, 12 Jun 2025 10:44:26 +0100 Subject: [PATCH 2/3] Edit wording of title for server setup --- faq/setup_morello.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/faq/setup_morello.rst b/faq/setup_morello.rst index 9293270..e9fd186 100644 --- a/faq/setup_morello.rst +++ b/faq/setup_morello.rst @@ -1,4 +1,5 @@ -Morello CHERIBSD Server Setup +==================================== +How do I setup a Morello CHERIBSD Server ==================================== 1. Download and Write Image From 72a15374c1bc9a4b1a1a30c96b4c4f4e250d7c25 Mon Sep 17 00:00:00 2001 From: Isaac Date: Thu, 12 Jun 2025 10:48:10 +0100 Subject: [PATCH 3/3] Update subheading to match the reset of the faq --- faq/setup_morello.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/faq/setup_morello.rst b/faq/setup_morello.rst index e9fd186..07399fe 100644 --- a/faq/setup_morello.rst +++ b/faq/setup_morello.rst @@ -2,7 +2,7 @@ How do I setup a Morello CHERIBSD Server ==================================== -1. Download and Write Image +How to download and write a CHERIBSD Image to USB --------------------------- First, download Morello CHERI. The current version is available at: @@ -23,7 +23,7 @@ Then write the disk image to a USB: dd if=cheribsd-memstick-arm64-aarch64c-25.03.img of=/dev/ bs=1M -2. Install Minicom +How to install Minicom ------------------ Minicom is used to interact with devices connected via serial ports. Install it by running: @@ -32,7 +32,7 @@ Minicom is used to interact with devices connected via serial ports. Install it sudo apt-get install minicom -3. Connect to Serial Consoles +How to Connect to Serial Consoles ----------------------------- "First, connect to the MCC firmware console. The serial device for the firmware on the Morello server is `ttyUSB0`. @@ -56,7 +56,7 @@ If this happens run the following command in the MCC firmware console: REBOOT -4. Complete Installation +Complete Installation ------------------------ To finish booting, follow the official guide: