This section contains the HAMR reference documentation. Use the navigation tree below to browse individual chapters. For recommendations for a plan for going through the documentation, see Recommended Reading Order.
HAMR Documentation
HAMR Semantics Building Blocks and Computational Concepts
Understanding the semantics of HAMR threads (real-time tasks), port-based communication, and scheduling.
Model-Level Development with SysMLv2
System modeling and IDE support for HAMR SysMLv2 workflows.
Code-Level Development for Microkit
Building and organizing HAMR applications targeting the seL4 Microkit platform.