EmbLinkRTOS

A deterministic C real-time kernel with explicit semantics, a native development port, and a documented path toward an embedded platform.

This site describes 0.2 development, including future designs. Read the implementation inventory before selecting an API or relying on a guarantee. Acceptance of a specification is distinct from working code and verified behavior.

Start here

• User guide
  • Getting started
  • Choosing current APIs
  • Core concepts
  • Threads, periodic work and shutdown
  • Synchronization and notifications
  • Configuration and testing
  • Debugging and diagnosing failures
• Project status and evidence
  • Implemented subset
  • Specified but unimplemented
  • Validation recorded in this workspace
  • CI definitions versus outcomes
  • Known limits and unresolved evidence
  • Updating this page
• First application and migration guidance
  • Initial use case
  • Native development today
  • Mapping existing applications
  • Early adoption deliverables
• EmbLinkRTOS Documentation
  • Documentation site and user guide
  • Current implementation and development
  • How the pieces relate
  • Specifications
  • Ports
  • Tools
  • Research records

Reference and design

• Current C API reference
• Requirement catalog
• Architecture and decisions
• Subsystem specifications
• Normative requirement sources
• Architecture ports
• Research and positioning
• Engineering and documentation
• EmbLinkRTOS Coding Standard