[Barrelfish-users] How to get the wall-clock in Barrelfish?

Zhiquan Lai laizhiquan at gmail.com
Thu Jan 10 09:50:21 CET 2013

Hi All,

I am using Barrelfish built on intel SCC and doing some micro benchmark.
However I cann't find any wall-clock function provide by Barrelfish.

So I want to make use of the FPGA clock provided by SCC referring to
As said, we can acess the 64-bit wall-clock at physical address of
Then I add some code in the function of  rck.c:rck_init() to map the
physical address to a virtual address.
BUT after this modification, Barrelfish can not be booted with fault as

> kernel 0: exception 14 (error code 0x2): write page fault due to page not
> present, while in supervisor mode
> Address that caused the fault: 0x0
> No active process
> Faulting instruction pointer (or following instruction): 0x8010566b (0x
> 10566b in binary)
> EAX 0x0 EBX 0x8011e198 ECX 0xfffcd100 EDX 0xbffc ESP 0x80927b68
> Top o' stack:
> 0x8010566b 0x10016 0x8 0x10 0xe 0x2 0x8010566b 0x8 0x10016 0x80327000
> 0x80326000 0x1 0x0 0x0 0x8 0x80 0x0 0xffffffff 0x0 0x8011e198
> No GDB backend

Any suggestions are appreciated ?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130110/8e1241ba/attachment.html 

More information about the Barrelfish-users mailing list