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.

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.