README: add missing rustup command for Linux

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jul 11, 2024 · d5fb249 · d5fb249
1 parent 4a56fba
commit d5fb249
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -58,6 +58,7 @@ To build the documentation you also need
 On a Debian-like system you can do:
 
     $ curl https://sh.rustup.rs -sSf | sh
+    $ rustup target add x86_64-unknown-linux-musl
     $ sudo apt install build-essential git cmake ninja-build \
         device-tree-compiler libxml2-utils \
         pandoc texlive-latex-base texlive-latex-recommended \