This section contains the HAMR reference documentation. Use the navigation tree below to browse individual chapters.
HAMR Documentation
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.
