Update dependencies for QEMU

Signed-off-by: Ivan Velickovic <[email protected]>

.github/workflows/sdk.yaml

@@ -34,7 +34,8 @@ jobs:
           sudo apt install \
             cmake pandoc device-tree-compiler ninja-build \
             texlive-fonts-recommended texlive-formats-extra libxml2-utils \
-            python3.9 python3-pip python3.9-venv musl-tools
+            python3.9 python3-pip python3.9-venv musl-tools \
+            qemu-system-arm \
       - name: Install AArch64 GCC toolchain
         run: |
           wget -O aarch64-toolchain.tar.gz https://sel4-toolchains.s3.us-east-2.amazonaws.com/arm-gnu-toolchain-12.2.rel1-x86_64-aarch64-none-elf.tar.xz%3Frev%3D28d5199f6db34e5980aae1062e5a6703%26hash%3DF6F5604BC1A2BBAAEAC4F6E98D8DC35B
@@ -59,7 +60,7 @@ jobs:
             ref: microkit
             path: seL4
       - name: Install SDK dependencies
-        run: brew install pandoc cmake dtc ninja qemu libxml2 [email protected] coreutils texlive
+        run: brew install pandoc cmake dtc ninja qemu libxml2 [email protected] coreutils texlive qemu
       - name: Install AArch64 GCC toolchain
         run: |
           wget -O aarch64-toolchain.tar.gz https://sel4-toolchains.s3.us-east-2.amazonaws.com/arm-gnu-toolchain-12.2.rel1-darwin-x86_64-aarch64-none-elf.tar.xz%3Frev%3D09b11f159fc24fdda01e05bb32695dd5%26hash%3D6AAF4239F28AE17389AB3E611DFFE0A6

README.md

@@ -44,6 +44,7 @@ Please file an issue if additional packages are required.
 * ARM GCC compiler for none-elf; version 12.2.1 20221205
 * device tree compiler
 * xmllint
+* qemu-system-aarch64
 
 To build the documentation you also need
 * pandoc
@@ -60,7 +61,8 @@ On a Debian-like system you can do:
 		pandoc texlive-latex-base texlive-latex-recommended \
 		texlive-fonts-recommended texlive-fonts-extra \
 		python3.9 python3.9-venv \
-		musl-dev musl-tools
+		musl-dev musl-tools \
+        qemu-system-arm
 
 If you do not have Python 3.9 available, you can get it via the
 *deadsnakes* PPA: https://launchpad.net/~deadsnakes/+archive/ubuntu/ppa
@@ -72,7 +74,7 @@ To use this:
 
 On macOS, with the [Homebrew](https://brew.sh) package manager you can do:
 
-    $ brew install pandoc cmake dtc ninja qemu libxml2 [email protected] coreutils texlive
+    $ brew install pandoc cmake dtc ninja qemu libxml2 [email protected] coreutils texlive qemu
 
 Additonally, a number of Python libraries are needed.
 These should be installed using `pip`.