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

Zhiquan Lai laizhiquan at gmail.com
Mon Jan 14 06:20:17 CET 2013

Hi Simon,

Thanks for your advice.

Now I am considering what value* should I write into the LUT entry to map
the clock registers.

Each LUT entry contains 10 bits for the upper 10 bits in new memory
address, 8 bits for the tile
destination ID, 3 bits for the destination sub-ID, and 1 bit for MIU bypass.

I still can not find any reference about what should be filled in this bits
for that clock registers.


On Mon, Jan 14, 2013 at 9:26 AM, Simon Peter <speter at inf.ethz.ch> wrote:

> I have figured out the bug and fixed it*. But the 64 bits read from phy
>> addr of 0xf9008224 are always be ZERO, rather than the wall-clock ticks
>> as they said.
>> Should I need to modify the default LUT to map 0xf9008224 address to the
>> FPGA clock ? If yes, how to do that ?
> I believe, yes, as we didn't bother to map the FPGA pages we didn't touch
> and this page might be part of that. You can add a mapping in
> kernel/arch/scc/rck.c, in rck_init(). Feel free to extend
> X86_32_DEVICE_SPACE_LIMIT for that (there's no hardware limit).
> Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130114/3d72bfe9/attachment.html 

More information about the Barrelfish-users mailing list