Benchmarking

This chapter provides notes and pointers on how to set-up and run applications for benchmarking and run various OS micro-benchmarks.