Google Git
Sign in
opensecura/3p/sel4/sel4_tools/4cb1b32699034b1939f441d8ce5594aa37dc361f
commit
4cb1b32699034b1939f441d8ce5594aa37dc361f
[log]
author
Sam Leffler <sleffler@google.com>
Thu Feb 09 03:09:52 2023 +0000
committer
Gerrit Code Review <noreply-gerritcodereview@google.com>
Thu Feb 09 03:09:52 2023 +0000
tree
bfc5491037535c09b4f609ae685a74f79e0ec802
parent
88de4d5adb7a79e481ceaab39cfdee75540376f5 [diff]
parent
62800c11dd9932f343e1697e79b3b803296d74bb [diff]
Merge "elfloader/shoehorn: remove fudge factor now that it's not needed"
tree: bfc5491037535c09b4f609ae685a74f79e0ec802
  1. .github/
  2. .reuse/
  3. cmake-tool/
  4. elfloader-tool/
  5. kmem-tool/
  6. LICENSES/
  7. misc/
  8. .cmake-format.yaml
  9. .gitignore
  10. .licenseignore
  11. .stylefilter
  12. LICENSE.md
  13. README.md
README.md

seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.