piwheels

sel4-deps

Metapackage for downloading build dependencies for the seL4 microkernel

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install sel4-deps

Dependencies

• typing-extensions
• jinja2
• pyelftools
• lxml
• sh
• autopep8
• guardonce
• libarchive-c
• bs4
• ply
• cmake-format
• pyfdt
• pexpect
• future
• jsonschema
• pyyaml
• psutil
• protobuf
• six

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.9.0	2026-08-04
sel4_deps-0.9.0-py3-none-any.whl (1 KB)
0.8.0	2026-07-30
sel4_deps-0.8.0-py3-none-any.whl (1 KB)
0.7.0	2025-07-22
0.5.0	2024-07-11
sel4_deps-0.5.0-py3-none-any.whl (1 KB)
0.4.0	2024-07-11
sel4_deps-0.4.0-py3-none-any.whl (1 KB)
0.3.1	2019-08-28
sel4_deps-0.3.1-py3-none-any.whl (1 KB)
0.3.0	2019-08-27
sel4_deps-0.3.0-py3-none-any.whl (1 KB)
0.2.5	2019-07-31
sel4_deps-0.2.5-py3-none-any.whl (1 KB)
0.2.4	2019-06-18
sel4_deps-0.2.4-py3-none-any.whl (2 KB)
0.2.3	2019-03-26
sel4_deps-0.2.3-py3-none-any.whl (2 KB)
0.2.2	2019-03-25
sel4_deps-0.2.2-py3-none-any.whl (2 KB)
0.2.1	2019-03-22
sel4_deps-0.2.1-py3-none-any.whl (1 KB)
0.2.0	2019-03-22
sel4_deps-0.2.0-py3-none-any.whl (1 KB)
0.1.4	2019-01-29
sel4_deps-0.1.4-py3-none-any.whl (1 KB)
0.1.3	2018-09-14
sel4_deps-0.1.3-py3-none-any.whl (1 KB)
0.1.2	2018-06-13
sel4_deps-0.1.2-py3-none-any.whl (2 KB)
0.1.1	2017-06-19
sel4_deps-0.1.1-py3-none-any.whl (2 KB)
0.1.0	2017-06-05
sel4_deps-0.1.0-py3-none-any.whl (2 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue