From fc2bc4bfa02162f5c336130e4126a483bb433c2c Mon Sep 17 00:00:00 2001 From: Steven Date: Mon, 21 Dec 2020 08:36:42 +0000 Subject: [PATCH] Update building_os.md --- pages/building_os.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/building_os.md b/pages/building_os.md index b6155779..553d3069 100644 --- a/pages/building_os.md +++ b/pages/building_os.md @@ -5,7 +5,7 @@ To build the OS you will need any Linux machine with a recent version of Docker The build must be performed on the target x86_64 Linux image. -**Ubuntu 20.04** is recommended and has been tested, please note that Ubuntu 18.04 does not work. +**Ubuntu 20.04** is recommended and has been tested. *please note that Ubuntu 18.04 does not work.* 0. When starting with a clean OS you need to install and configure docker (after adding your user to the docker group you must log out and log back in), as well as git and make. ```shell