Hamr-Docs
Sections
- Overview
- AADL Computational Paradigm and HAMR Fundamental Concepts
- AADL/HAMR Data Types and Data Modeling
- CASE Scheduling Concepts
- CASE Scheduling Concepts
- HAMR C APIs for Component Application Logic
- HAMR Documentation
- HAMR Installation
- HAMR Project Organization and Workflows
- HAMR Slang Development
- HAMR Tour
- seL4 Code Generation