genodelabs/genode — pull request #854 by alex-ab (2013-08-22 13:03:27+00:00)
Title: Noux_tool_chain

Some minor improvements to make the tool_chain runs less noisy and the measured values more stable and comparable (not counting the boot time to the run time).