From 2b449680ff68f538a9ab670d1765d19290eaa283 Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Tue, 16 Oct 2018 22:59:05 +0200 Subject: [PATCH] Documentation: minor update to the tutorial about Ubuntu as SOS Minor update to the tutorial on how to use Ubuntu as the Service OS with ACRN. Specifically, the instructions for making the Grub menu visible at boot time now involved modify the /etc/default/grub file and not the /boot/grub/grub.cfg as before. Signed-off-by: Geoffroy Van Cutsem --- doc/tutorials/using_ubuntu_as_sos.rst | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/doc/tutorials/using_ubuntu_as_sos.rst b/doc/tutorials/using_ubuntu_as_sos.rst index eb70857e0..c34b93717 100644 --- a/doc/tutorials/using_ubuntu_as_sos.rst +++ b/doc/tutorials/using_ubuntu_as_sos.rst @@ -188,21 +188,20 @@ 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. + + .. code-block:: none + + #GRUB_HIDDEN_TIMEOUT=0 + GRUB_HIDDEN_TIMEOUT_QUIET=false + * Update Grub on your system .. code-block:: none sudo update-grub - At this point, you need to modify ``/boot/grub/grub.cfg`` file manually to - enable the timeout so that the system has an opportunity to show you the - grub menu. (Without this the grub choice menu won't display.) - - .. code-block:: none - - #set timeout_style=hidden - set timeout = 10 - #. Reboot the system Reboot system. You should see the Grub menu with the new “ACRN ubuntu SOS”