Support for running tests inside seL4 environment in an automated manner
If we can run seL4 in an emulator with any kind of textual output at all (serial, debug port, etc), then it could run programs that emit text in the format defined by the Test Anything Protocol, and the emulator could be run under a TAP harness on the host.
Since the TAP format is plain, 8-bit-clean ASCII text, and is non-interactive, that would allow using the emulator (spun up with arbitrary test environments) to test pretty much any behavior with nice host-side reporting and failure detection.
That would allow running seL4-side unit and integration tests as part of CI.
Hm, so they made a custom test output format :/
EDIT: Apparently it's JUnit. Still, TAP is a lot simpler on the sending side at least.
One of the nice things about TAP is that it can serve as both human-readable and machine readable, and has multiple harnesses available, in pretty much every language. There's even support for integrating it into Autotools/CMake/etc.