Skip to content
Publication

Publications

Peer-facing papers on the architecture, security model and toolchain of EmbeddedOS.

Technical PaperJanuary 2025Security Research

Capability-Based Security in Real-Time Operating Systems

How EoS applies capability-based access control to a real-time kernel: unforgeable references, delegation without ambient authority, and what that costs in a deterministic scheduler.

EoSSecurityCapabilitiesRTOS
Read
Technical PaperJanuary 2024Embedded Systems Research

eBuild: Declarative Cross-Compilation for Embedded AI Systems

The design of eBuild's declarative build model: one manifest describing toolchain, board and dependencies, and reproducible cross-compilation across the supported target set.

eBuildToolchainCross-Compilation
Read