Matcha BSP based on TockOS

Clone this repo:

Branches

  1. b19fe02 Lock futures crate to in-tree v0.3.29. by Sam Leffler · 5 weeks ago master
  2. 6acda83 elfloader: major overhaul to support non-seL4 images by Sam Leffler · 8 months ago
  3. 12b8304 Pin future-tasks version to 0.3.29 by Cindy Liu · 11 months ago
  4. bf6504c Mux I2S at Tock start by Alex Van Damme · 1 year, 1 month ago
  5. ae9af87 Basic pinmux capsule / HAL by Alex Van Damme · 1 year, 1 month 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