The seL4 microkernel https://sel4.systems/
Anna Lyons eceefa883d cmake: add kernel platform helpers. 1 month ago
..
python-deps python deps: add seL4 tutorial deps 4 months ago
bf.vim tools: fix licenses 1 year ago
bitfield_gen.py bitfield_gen: merge clarsimp/simp in generated proofs 3 months ago
changed.sh tools: fix licenses 1 year ago
circular_includes.py tools: Ignore option for circular_includes script 4 months ago
cpp_gen.sh tools: fix licenses 1 year ago
flags.cmake Add a CMake based build system 1 year ago
helpers.cmake cmake: add kernel platform helpers. 1 month ago
internal.cmake Add a CMake based build system 1 year ago
invocation_header_gen.py tools: State jinja2 version 7 months ago
kernel_astyle.sh tools: Added astyle,pylint and xmllint checks 5 months ago
kernel_pylint.sh tools: Added astyle,pylint and xmllint checks 5 months ago
kernel_xmllint.sh tools: Added astyle,pylint and xmllint checks 5 months ago
lex.py Python3 compatibility in scripts 1 year ago
pylintrc tools: fix licenses 1 year ago
syscall_header_gen.py tools: State jinja2 version 7 months ago
umm.py tools: fix licenses 1 year ago
xmllint.sh tools: fix licenses 1 year ago