commit: 5c1f370ce82ce276e12b70e246ddbcef3d7f2059
[log] [tgz]
author: Sam Leffler <sleffler@google.com>
Mon Jun 26 17:32:02 2023 -0700
committer: Sam Leffler <sleffler@google.com>
Sat Jul 08 16:49:09 2023 -0700
tree: 4bacbdc08b03e27a2cca4b5e0855fd4369835059
parent: b092f4b00dd3849634c59c05204e35a703e7da4c [diff]

elfconvert: add support for kelvin workloads

- make the pad field a file type (one of: application, springbok, kelvin)
- add -f kelvin to signal a kelvin workload
- add -f springbok and treat -f model as springbok for backwards compat
- add -f application

Newly formatted files are backward compatible.

Change-Id: I80d05ac7d9926f659126a4a901a50ddd715b4d63

2 files changed

tree: 4bacbdc08b03e27a2cca4b5e0855fd4369835059

README.md

seL4_tools

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

elfloader-tool: loads the arm kernel.
cmake-tool: most of the build system.
misc: miscellaneous extra tools, including code style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.