[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