[okl4-developer] Adding another L4 system call

[Ben Leslie]

On Wed Sep 12, 2007 at 11:42:41 +0100, Espen Skoglund wrote:
>What I would suggest if you want to access the performance counters is
>to add a new interface to the kernel debugger.  See the kdebug.h file
>in the user includes and the prepost.cc file in the kdb part of the
>kernel source tree.

This is definately the case. This is how we have implemented it for the
Xscale processors.

Cheers,

Ben