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
..
2015-04-11 16:53:04 -05:00
2015-07-20 21:45:02 +02:00
2014-01-03 19:44:57 +01:00
2014-08-09 20:18:05 +02:00
2013-11-08 02:41:26 +01:00
2015-04-01 20:18:00 +02:00
2013-11-08 02:41:26 +01:00