Skip to content

sel4-deps: simplify instructions #345

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lsf37 merged 1 commit into from
Aug 3, 2026
+5 −13
Merged

sel4-deps: simplify instructions #345

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 5 additions & 13 deletions _includes/seL4-deps.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,22 +36,14 @@ If you discover any missing dependencies and packages we welcome new

### Base dependencies

The basic build package on Ubuntu is the `build-essential` package. To install run:
To install the base dependencies for building seL4 projects on Ubuntu run the following.

```sh
sudo apt-get update
sudo apt-get install build-essential
```

Additional base dependencies for building seL4 projects on Ubuntu include installing:

```sh
sudo apt-get install cmake ccache ninja-build cmake-curses-gui
sudo apt-get install libxml2-utils ncurses-dev
sudo apt-get install curl git doxygen device-tree-compiler xxd
sudo apt-get install u-boot-tools
sudo apt-get install python3-dev python3-pip python-is-python3
sudo apt-get install protobuf-compiler python3-protobuf
sudo apt-get install build-essential cmake ccache ninja-build cmake-curses-gui \
libxml2-utils ncurses-dev curl git doxygen device-tree-compiler \
xxd u-boot-tools protobuf-compiler python3-protobuf python3-dev \
python3-pip python-is-python3
```

### Simulating with QEMU
Expand Down
Loading