TAP is a format for describing test results: https://testanything.org/tap-version-13-specification.html. We need a parser and emitter for TAP. See a python implementation here. This can use arbitrary std/crates.io crates, no need for anything seL4 specific.