User-space helpers and the benchmarks for ExpressOS.