HAMR Documentation

This section contains the HAMR reference documentation. Use the navigation tree below to browse individual chapters.

Getting Started

Setting up and configuring HAMR tools and development environments.

HAMR Overview

Understanding the purpose, scope, and primary features of HAMR.

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.