From 9264aeb77d5325690e24e28910052289f443a096 Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Wed, 9 Dec 2020 15:10:51 +0100 Subject: [PATCH] doc: small updates to the GSG Small updates to the Getting Started Guide: * Add a missing command * Add a note for the Grub configuration * Make the 'blkid' hint consistent with the environment Tracked-On: #5594 Signed-off-by: Geoffroy Van Cutsem --- doc/getting-started/rt_industry_ubuntu.rst | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/getting-started/rt_industry_ubuntu.rst b/doc/getting-started/rt_industry_ubuntu.rst index f6308f3fc..be942ae57 100644 --- a/doc/getting-started/rt_industry_ubuntu.rst +++ b/doc/getting-started/rt_industry_ubuntu.rst @@ -206,6 +206,7 @@ Build the ACRN Hypervisor on Ubuntu $ make all BOARD_FILE=misc/vm_configs/xmls/board-xmls/whl-ipc-i7.xml SCENARIO_FILE=misc/vm_configs/xmls/config-xmls/whl-ipc-i7/industry.xml RELEASE=0 $ sudo make install + $ sudo mkdir -p /boot/acrn $ sudo cp build/hypervisor/acrn.bin /boot/acrn/ Build and install the ACRN kernel @@ -263,11 +264,14 @@ Update Grub for the Ubuntu Service VM .. note:: Update this to use the UUID (``--set``) and PARTUUID (``root=`` parameter) (or use the device node directly) of the root partition (e.g. - ``/dev/nvme0n1p2). Hint: use ``sudo blkid /dev/sda*``. + ``/dev/nvme0n1p2``). Hint: use ``sudo blkid ``. Update the kernel name if you used a different name as the source for your Service VM kernel. + Add the ``menuentry`` at the bottom of :file:`40_custom`, keep the + ``exec tail`` line at the top intact. + #. Modify the ``/etc/default/grub`` file to make the Grub menu visible when booting and make it load the Service VM kernel by default. Modify the lines shown below: @@ -428,6 +432,9 @@ Update the Grub file Update the kernel name if you used a different name as the source for your Service VM kernel. + Add the ``menuentry`` at the bottom of :file:`40_custom`, keep the + ``exec tail`` line at the top intact. + #. Modify the ``/etc/default/grub`` file to make the grub menu visible when booting and make it load the RT kernel by default. Modify the lines shown below: