Crate nrf52840dk_dynamic_apps_and_policies

Source
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ยง

AppLoaderDriver ๐Ÿ”’
Chip ๐Ÿ”’
DynamicBinaryStorage ๐Ÿ”’
FlashUser ๐Ÿ”’
IsolatedNonvolatileStorageDriver ๐Ÿ”’
NonVolatilePages ๐Ÿ”’
ProcessInfoDriver ๐Ÿ”’
Screen ๐Ÿ”’
ScreenDriver ๐Ÿ”’
SignatureChecker ๐Ÿ”’
SignatureVerifyInMemoryKeys ๐Ÿ”’
Verifier ๐Ÿ”’