Matcha BSP based on TockOS

Clone this repo:

Branches

  1. e33f5f9 elfloader: properly handle PHDRs that span flash pages by Sam Leffler · 5 weeks ago master
  2. 5019caa elfloader: band-aid handling of PHDRs that span flash pages by Sam Leffler · 6 weeks ago
  3. b19fe02 Lock futures crate to in-tree v0.3.29. by Sam Leffler · 3 months ago
  4. 6acda83 elfloader: major overhaul to support non-seL4 images by Sam Leffler · 10 months ago
  5. 12b8304 Pin future-tasks version to 0.3.29 by Cindy Liu · 1 year ago

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