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
  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.