Crate nrf52840dk_dynamic_apps_and_policies

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

AppLoaderDriver 🔒

Chip 🔒

DynamicBinaryStorage 🔒

FlashUser 🔒

IsolatedNonvolatileStorageDriver 🔒

NonVolatilePages 🔒

ProcessInfoDriver 🔒

Screen 🔒

ScreenDriver 🔒

SignatureChecker 🔒

SignatureVerifyInMemoryKeys 🔒

Verifier 🔒