Google Git
Sign in
opensecura / 3p / sel4 / sel4_tools / refs/heads/master
commitd964276c5b1cd3681fc40c59e4af3251972dfce6[log] [tgz]
authorSam Leffler <sleffler@google.com>Sat Oct 21 17:58:39 2023 -0700
committerSam Leffler <sleffler@google.com>Sun Oct 22 13:26:59 2023 -0700
tree6fec78f0d79cd0d2447d7aa3e65e9b5d66bee26f
parent5c1f370ce82ce276e12b70e246ddbcef3d7f2059 [diff]
elfconvert: pull xmas-elf from cates.io (and update version to 0.9)

Bug: 306427497

Change-Id: Ia6e113eb7fdb265273a27bc7d24439de82bbf73f
1 file changed
tree: 6fec78f0d79cd0d2447d7aa3e65e9b5d66bee26f
  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.