Systems Litmus

Litmus tests are small snippets of non-deterministic code that a test harness can run many times to try observe all the possible results. Systems Litmus tests are small kernels that system-litmus-harness can boot many times and observe all the results.

User Documentation:

• Getting Started
  • How it works
  • Requirements
  • QEMU/KVM
  • Installation and building
  • Running the tool
  • References
• Debugging a Failing Build
  • AArch64 Cross-Compiler Tools
• Running the Tests
  • Usage
  • Test Groups
  • Customizing the runs
  • Enabling translation table tests

Developer Documentation:

• Customizing the Build
  • Changing the compiler
  • Changing the litmus tests
  • Building for KVM
• Fixing Runtime Errors
  • No GICv2
  • Using GDB
• Writing Litmus Tests
  • Variables and Registers
  • Thread Code Blocks
  • Litmus Test Data
• Test Discovery and Linting
  • Discovery
  • groups.c
  • Linting