Getting Started Guides
Contents
- 1. Prerequisite
- 2. Build Host
- 3. Tool & Dependency overview
- 4. Setup Toolchain
- 5. Package Installation (Ubuntu-20.04 x64)
- 6. Install python dependencies
- 7. Install python dependencies for Documentation
- 8. Install coverage tools analysis dependencies
- 9. Getting the RMM Source
- 10. Install Cppcheck and dependencies
- 11. Install CBMC
- 12. Install Clang-tidy
- 13. Performing an Initial Build
- 14. Running the RMM
- 15. RMM Build Examples
- 16. RMM Build Options
- 17. RMM LLVM Build
- 18. RMM Fake Host Build
- 19. Building with Shrinkwrap