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
Provides tools used to build seL4 projects. Also collects common config and tools for style checks.
Contributions welcome!
See the CONTRIBUTING file for more.