Very basic test framework and utilities for seL4. Supports XML output for junit.