sw/matcha: fix smc_is_page bounds check

Off-by-one caused a valid page to be rejected.

Change-Id: I93806ad833722f43c1b98454ecf402b45dab6420
1 file changed
tree: 274fc4a4e97a8c149ce23f2cebf7ddefe4183c5b
  1. app/
  2. blob_fs/
  3. capsules/
  4. config/
  5. hal/
  6. platform/
  7. utils/
  8. .gitignore
  11. matcha.code-workspace
  12. 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.


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