An JOS & VirtBench Performance Benchmarking