Library of benchmarking utilities for seL4.