genode/os/include/arm
Stefan Kalkowski ae87f50ce3 Implement timestamp function for tracing for ARM
Use Armv7 performace counters for this.

Fixes #850
2013-08-30 13:31:47 +02:00
..
trace Implement timestamp function for tracing for ARM 2013-08-30 13:31:47 +02:00