Back to Sel4

seL4 Python Dependency Metapackage

tools/python-deps/README.rst

15.0.0284 B
Original Source

.. .. Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) .. .. SPDX-License-Identifier: GPL-2.0-only ..

seL4 Python Dependency Metapackage ##################################

An empty package depending on all the python packages required to build the seL4 microkernel and its manual.