[Sebastian Bogan] > Hey, > I am using the latest L4Ka::Hazelnut. I was wondering how a usertask > can access the systemclock. In X.2 they talk about a systemcall > `systemclock' but it seems, that this call was not yet implemented.? Do not use L4Ka::Hazelnut. L4Ka::Hazelnut uses the obsolete X.0 API, and further development on the kernel has been doscontinued. eSk