Michael Lotz b11eb89c2d Add system_time bin command which just prints system_time(). ...

This can be used by scripts to do verious performance measurements.
Specifically it can be used to measure the boot time since it represents
the uptime.

2015-08-29 19:15:47 +02:00

..

config_headers

kernel: profile system when SYSTEM_PROFILER is defined.

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

jam

Add system_time bin command which just prints system_time().

2015-08-29 19:15:47 +02:00

scripts

…