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

Simon Peter speter at inf.ethz.ch
Mon Jan 14 02:26:51 CET 2013

> 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).


More information about the Barrelfish-users mailing list