RIOT-OS/RIOT — pull request #789 by LudwigOrtmann (2014-02-26 10:34:11+00:00)
Title: native profiling support

Only works with Linux for now.

Usage: make -B clean all-profile; make term; make profile

I'll add documentation in the wiki when this gets merged.