seL4/tools
Stephen Williams 55fde27e10 Add support for the Avnet MaaXBoard
Signed-off-by: Mark Jenkinson <mark.jenkinson@capgemini.com>
Co-Authored-By: Stephen Williams <stephen.williams@capgemini.com>
2022-05-11 17:31:07 +10:00
..
dts Add support for the Avnet MaaXBoard 2022-05-11 17:31:07 +10:00
hardware python: use KernelSel4Arch instead of KernelArch 2021-12-03 10:26:41 +11:00
python-deps Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bf.vim Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bitfield_gen.py python: use '#paragma once' include guard 2022-03-23 17:28:07 +11:00
changed.sh tools: BSD compat for changed.sh 2020-06-18 12:39:46 +10:00
circular_includes.py Fix indexing into an empty array 2021-10-18 18:10:59 +11:00
condition.py fix parenthesis in condition_to_cpp 2022-03-22 18:33:38 +11:00
cpp_gen.sh tools: use /usr/bin/env for bash/sh invocation 2021-08-25 17:56:49 +10:00
flags.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
hardware.yml allwinnerA20: switch to the ARM generic timer 2021-10-28 08:30:41 +11:00
hardware_gen.py python: use KernelSel4Arch instead of KernelArch 2021-12-03 10:26:41 +11:00
hardware_schema.yml Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
helpers.cmake CMake: unify config options define generation 2021-07-01 12:05:37 +10:00
internal.cmake CMake: inline set_kernel_32() and set_kernel_64() 2021-02-01 18:23:42 +01:00
invocation_header_gen.py python: use '#paragma once' include guard 2022-03-23 17:28:07 +11:00
kernel_pylint.sh tools: more portable shell test 2021-08-25 17:56:49 +10:00
kernel_xmllint.sh tools: more portable shell test 2021-08-25 17:56:49 +10:00
lex.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
pylintrc Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
reciprocal.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
syscall_header_gen.py tools: use conditions elem 2022-03-22 18:33:38 +11:00
umm.py umm.py: no memoization 2021-08-24 18:04:43 +10:00
xmllint.sh tools: use /usr/bin/env for bash/sh invocation 2021-08-25 17:56:49 +10:00