seL4/tools
G. Branden Robinson 568f509b50 Revert "setup.py: add Python dep[] on libarchive"
This reverts commit a14264336c.

There are (at least) 3 namespaces relevant to Python module names:
Debian package names, PyPI module names, and the name of a module used
by actual Python language imports.  That's one more than my brain could
handle.  I wanted "libarchive-c" in setup.py instead of "libarchive".
2019-08-28 15:49:28 +10:00
..
dts CMake: Correct allwinnerA20 platform name 2019-08-13 14:51:57 +10:00
python-deps Revert "setup.py: add Python dep[] on libarchive" 2019-08-28 15:49:28 +10:00
bf.vim tools: fix licenses 2017-06-22 15:27:30 +10:00
bitfield_gen.py bitfields: Specify iteration order over dicts 2019-08-08 10:19:24 +10:00
changed.sh tools: fix licenses 2017-06-22 15:27:30 +10:00
circular_includes.py python2 --> python3 2019-08-08 10:19:24 +10:00
cpp_gen.sh tools: fix licenses 2017-06-22 15:27:30 +10:00
flags.cmake Add a CMake based build system 2017-08-22 13:56:26 +10:00
hardware.yml kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00
hardware_gen.py hardware_gen: Correctly set default kernel_size 2019-08-13 14:54:39 +10:00
hardware_schema.yml hardware_gen: Always specify kernel devices 2019-08-13 14:54:35 +10:00
helpers.cmake python2 --> python3 2019-08-08 10:19:24 +10:00
internal.cmake python2 --> python3 2019-08-08 10:19:24 +10:00
invocation_header_gen.py python2 --> python3 2019-08-08 10:19:24 +10:00
kernel_pylint.sh tools: Added astyle,pylint and xmllint checks 2018-08-10 10:38:53 +10:00
kernel_xmllint.sh tools: Added astyle,pylint and xmllint checks 2018-08-10 10:38:53 +10:00
lex.py style: run autopep8 on python files 2019-03-27 10:43:58 +11:00
pylintrc tools: fix licenses 2017-06-22 15:27:30 +10:00
reciprocal.py mcs: Add reciprocal.py 2019-08-22 11:22:34 +10:00
syscall_header_gen.py mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
umm.py python2 --> python3 2019-08-08 10:19:24 +10:00
xmllint.sh tools: fix licenses 2017-06-22 15:27:30 +10:00