Skip to content

Commit

Permalink
Minor review changes
Browse files Browse the repository at this point in the history
Remove aarch64-linux-gnu-gcc as a dependency; update aarch64-none-elf
compiler version; remove note about pyoxidiser.

Signed-off-by: Peter Chubb <[email protected]>
  • Loading branch information
wom-bat authored and Ivan-Velickovic committed Feb 17, 2024
1 parent 0adcaec commit 373add6
Showing 1 changed file with 3 additions and 8 deletions.
11 changes: 3 additions & 8 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,7 @@ Please file an issue if additional packages are required.
* musl-1.2.2
* cmake
* ninja-build
* ARM GCC compiler for none-elf; 10.2-2020.11
* aarch64 Linux gcc compiler
* ARM GCC compiler for none-elf; version 12.2.1 20221205
* device tree compiler
* xmllint

Expand All @@ -57,8 +56,8 @@ To build the documentation you also need
On a Debian-like system you can do:

$ sudo apt install build-essential git cmake ninja-build \
gcc-aarch64-linux-gnu device-tree-compiler libxml2-utils \
pandoc texlive-latex-base telive-latex-recommended \
device-tree-compiler libxml2-utils \
pandoc texlive-latex-base texlive-latex-recommended \
texlive-fonts-recommended texlive-fonts-extra \
python3 python3-venv \
musl-dev musl-tools
Expand Down Expand Up @@ -97,10 +96,6 @@ https://developer.arm.com/-/media/Files/downloads/gnu/12.2.rel1/binrel/arm-gnu-t
On macOS Intel/x86-64 the following version is used:
https://developer.arm.com/-/media/Files/downloads/gnu/12.2.rel1/binrel/arm-gnu-toolchain-12.2.rel1-darwin-x86_64-aarch64-none-elf.tar.xz?rev=09b11f159fc24fdda01e05bb32695dd5&hash=6AAF4239F28AE17389AB3E611DFFE0A6

Recent Linux systems may not be compatible with the desired version of
`pyoxidiser`. If the invocation of `pyoxidizer` fails, update it to
the latest version with
./pyenv/bin/pip install --upgrade pyoxidizer

## seL4 Version

Expand Down

0 comments on commit 373add6

Please sign in to comment.