From db6fe1e34752ef918413a10000f7beefd6c73ce0 Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Thu, 6 Feb 2020 16:53:39 +0100 Subject: [PATCH] doc: update Grub configuration instructions for Ubuntu (Service VM) Update the "Using Ubuntu as the Service OS" tutorial to tweak the instructions pertaining to the Grub bootloader configuration. Specifically, update to reflect the content of '/etc/default/grub' in Ubuntu 18.04 and also make loading the Service OS kernel the default. Signed-off-by: Geoffroy Van Cutsem --- doc/tutorials/using_ubuntu_as_sos.rst | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/doc/tutorials/using_ubuntu_as_sos.rst b/doc/tutorials/using_ubuntu_as_sos.rst index 86be06451..35e39e6ef 100644 --- a/doc/tutorials/using_ubuntu_as_sos.rst +++ b/doc/tutorials/using_ubuntu_as_sos.rst @@ -173,7 +173,7 @@ You can download latest Service OS kernel from .. code-block:: none - menuentry 'ACRN ubuntu SOS' { + menuentry 'ACRN ubuntu SOS' --id ubuntu-service-vm { recordfail load_video insmod gzio @@ -194,14 +194,15 @@ You can download latest Service OS kernel from The command line for the kernel in /etc/grub.d/40_custom should be all as a single line, not as multiple lines. Otherwise the kernel will fail to boot - * Modify the ``/etc/default/grub`` file to make the grub menu visible when booting. - There are a couple of lines to be modified, as shown below. + * Modify the ``/etc/default/grub`` file to make the grub menu visible when booting + and make it load the Service OS kernel by default. + There are a few lines to be modified, as shown below. .. code-block:: none + GRUB_DEFAULT=ubuntu-service-vm #GRUB_TIMEOUT_STYLE=hidden - #GRUB_HIDDEN_TIMEOUT=0 - GRUB_HIDDEN_TIMEOUT_QUIET=false + GRUB_TIMEOUT=3 * Update Grub on your system