Axel Dörfler 035e3e77ed kernel: profile system when SYSTEM_PROFILER is defined. ...

* This enables a mechanism to profile almost the complete boot process
  (starting with main2()), if SYSTEM_PROFILER is defined to 1.
* You can access the profiling data using "profile -r".

2015-07-22 20:39:52 +02:00

..

config_headers

kernel: profile system when SYSTEM_PROFILER is defined.

2015-07-22 20:39:52 +02:00

jam

Added new release of Clipdinger

2015-07-21 17:23:08 +02:00

scripts

Build binutils with different extra targets depending on arch

2015-04-18 15:14:24 +02:00