|
CDC Badge OS
Firmware for the CDC Badge v1.0 hardware security key
|
Files | |
| CapabilityChecker.h | |
| Load-time validation of plugin capabilities + manifest sanity. | |
| GpioSerialCommands.h | |
| Native serial commands for direct GPIO / ADC / I2C poking. Independent of plugins - the user controls the badge from a USB-CDC terminal. Same hard block list as the plugin GPIO API protects firmware-internal hardware. | |
| host_api.h | |
| CDC Badge OS plugin host API - canonical C ABI contract. | |
| LockscreenRegistry.h | |
| Internal registry of plugin lockscreen quick-actions. | |
| Plugin.h | |
| Owned WAMR module instance + per-plugin state. | |
| plugin_lifecycle.h | |
| Lifecycle exports a CDC Badge plugin must (and may) provide. | |
| PluginGpioPolicy.h | |
| Single source of truth for plugin-accessible GPIO pins. | |
| PluginInfoView.h | |
| Read-only summary of an installed plugin (manifest + size + SHA256). | |
| PluginListView.h | |
| Main-menu entry "Plugins" - lists all installed WASM plugins. | |
| PluginManager.h | |
| Discovers, loads, runs and unloads WASM plugins on the badge. | |
| PluginManifest.h | |
| In-memory representation of a plugin's meta.json. | |
| PluginSerialCommands.h | |
| Serial console PLUGIN command bundle. Call once from main.cpp after PluginManager::init() to expose LIST/INFO/UPLOAD/DELETE/ START/STOP via USB-CDC. | |
| PluginStorage.h | |
| Mounts the FAT-FS partition that holds plugin .wasm + .meta files. | |
| PluginUiState.h | |
| Singleton that owns plugin-pushed UI views (lists, confirms, inputs). | |
| Prerequisites.h | |
| Walks the prerequisites list of a plugin manifest before plugin_on_enter. | |
| Raii.h | |
| Thin alias layer that re-exports cdc::core RAII wrappers in the cdc::plugin_manager namespace for source-compatibility. | |
| SlotTable.h | |
| Fixed-capacity, 1-based slot table for host-API resources. | |
| WamrImports.h | |
| Registers the host API as WAMR native imports under module "cdc". | |