Expand description
Tock kernel for the nRF52840-based dynamic processes and policies tutorial.
Modulesยง
- app_
id_ ๐assigner_ name_ metadata - AppID assigner based on name and credential check metadata.
- checker_
credentials_ ๐not_ required - Credential checker wrapper that does not require valid credentials.
- system_
call_ ๐filter
Structsยง
- PMCapability
- Needed for process info capsule.
- Platform ๐
Constantsยง
- FAULT_
RESPONSE ๐ - NUM_
CREDENTIAL_ ๐KEYS - NUM_
PROCS ๐ - SCREEN_
I2C_ ๐SCL_ PIN - SCREEN_
I2C_ ๐SDA_ PIN - SIGNATURE_
HASH_ ๐LEN - SIGNATURE_
KEY_ ๐LEN - SIGNATURE_
SIG_ ๐LEN
Staticsยง
- CHIP ๐
Functionsยง
- create_
short_ ๐id_ from_ name - mainโ
- Main function called after RAM initialized.
Type Aliasesยง
- AppLoader
Driver ๐ - Chip ๐
- Dynamic
Binary ๐Storage - Flash
User ๐ - Isolated
Nonvolatile ๐Storage Driver - NonVolatile
Pages ๐ - Process
Info ๐Driver - Screen ๐
- Screen
Driver ๐ - Signature
Checker ๐ - Signature
Verify ๐InMemory Keys - Verifier ๐