seL4_tools

Provides tools used to build seL4 projects

kbuild-tool: kbuild from Linux, for managing configurations.
elfloader-tool: loads the arm kernel.
common-tool: most of the build system.
misc: miscellaneous extra tools.

License

Please see files in individual directories for license details.

About

Other

Languages

Language:C 76.6%Language:C++ 6.1%Language:Assembly 3.5%Language:CMake 3.4%Language:Makefile 3.3%Language:Shell 2.5%Language:Yacc 1.7%Language:Perl 1.7%Language:Lex 0.7%Language:Python 0.5%