Skip to content

autti/seL4_tools

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

License

Please see files in individual directories for license details.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 79.0%
  • C++ 6.9%
  • Makefile 3.5%
  • Assembly 3.2%
  • Shell 2.4%
  • Yacc 1.9%
  • Other 3.1%