Real-Time performance measurement on rt-patched linux.