elfloader: properly handle PHDRs that span flash pages

Rework the previous hack to properly handle PHDRs that span flash
pages and require loading. This should support any ELF image up to the
maximum configured number of PHDRs (30); in particular this handles the
cheriot-rtos test suite firmware image that has 27 PHDRs..

Change-Id: I7be17df12903f9099c9b40f26abb18b0553748fc
1 file changed
tree: 01f035ccbd2e442648ea43639ba736886018e366
  1. app/
  2. blob_fs/
  3. capsules/
  4. config/
  5. hal/
  6. platform/
  7. utils/
  8. .gitignore
  9. CONTRIBUTING.md
  10. LICENSE
  11. matcha.code-workspace
  12. README.md
README.md

Matcha SW Repository

This project contains the support needed to build a TockOS artifact that can run on the Matcha security core, and integrated as part of the Shodan repository.

Prerequisite

If you get this project from Project Shodan manifest, you are all set.

This project needs to be at <dir>/sw/matcha.

Code structure

  • app: TockOS applications (including the boot loader)
  • blob_fs: prototype implementation of a Blob filesystem (unused)
  • capsules: TockOS capsules
  • config: TockOS configuration for Matcha
  • hal: TockOS hal crates
  • platform: TockOS Matcha platform support
  • utils: utility code for apps & capsules