Hi,
clock_s | L4RM: [PF] write at 0x00000000, ip 018001ac, src 8.02 clock_s | [8.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): clock_s | unhandled page fault
The attachment is the source code, too. Thank you.
You bumped into the same problem as here: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2007/003384.html
Those "second" and "nanosecond" pointers you allocated basically point to nowhere, since they are never assigned. The right thing to do is allocate them as scalar values instead of pointers and then use & on the scalars later to turn them into pointers on the fly.
Michael