GitHub repository: seL4/libsel4test
Primary language: C
Description: Very basic test framework and utilities for seL4. Supports XML output for junit.