From ab9f5b6a6b968505181721a78b97cb4f2e4acbc0 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Mon, 25 Mar 2024 22:47:57 +1100 Subject: [PATCH] Update dependencies for QEMU Signed-off-by: Ivan Velickovic --- .github/workflows/sdk.yaml | 5 +++-- README.md | 6 ++++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml index 1f5f7ad22..78a4fdc22 100644 --- a/.github/workflows/sdk.yaml +++ b/.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 python@3.9 coreutils texlive + run: brew install pandoc cmake dtc ninja qemu libxml2 python@3.9 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 diff --git a/README.md b/README.md index 8ea2c6db6..6945f94f0 100644 --- a/README.md +++ b/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 python@3.9 coreutils texlive + $ brew install pandoc cmake dtc ninja qemu libxml2 python@3.9 coreutils texlive qemu Additonally, a number of Python libraries are needed. These should be installed using `pip`.