[okl4-developer] Adding another L4 system call

[Espen Skoglund]

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.

	eSk