Google GitGoogle Git
Sign in
opensecura/3p/sel4/sel4_tools/f27d15d76d7fd9268b75f7879d0508898f547980
commit
f27d15d76d7fd9268b75f7879d0508898f547980
[log]
author
June Tate-Gans <jtgans@google.com>
Tue Nov 22 10:02:45 2022 -0600
committer
June Tate-Gans <jtgans@google.com>
Tue Nov 22 10:38:57 2022 -0600
tree
407b10acb340e4bf4ff536fb63cf8ebfb57f3db7
parent
bc7e4c922968fafe6698d3d8f1e5fff2e2d2a410 [diff]
kata: Step 3: Adjust pathnames and comments to match new name

Change-Id: If2eb20afdf989b540e5bc109350da0f866c56f19
3 files changed
tree: 407b10acb340e4bf4ff536fb63cf8ebfb57f3db7
  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.