<div>Hi All,</div><div> </div><div>I am using Barrelfish built on intel SCC and doing some micro benchmark.</div><div>However I cann't find any wall-clock function provide by Barrelfish.</div><div> </div><div>So I want to make use of the FPGA clock provided by SCC referring to</div>
<div>(<a href="http://intelopenport.hosted.jivesoftware.com/message/173550">http://intelopenport.hosted.jivesoftware.com/message/173550</a>). </div><div>As said, we can acess the 64-bit wall-clock at physical address of 0xf9008224.</div>
<div>Then I add some code in the function of rck.c:rck_init() to map the physical address to a virtual address.</div><div>BUT after this modification, Barrelfish can not be booted with fault as follow:</div><div> <font style="background-color:rgb(255,255,204)" color="#ffffff"> </font></div>
<div><blockquote style="margin:0px 0px 0px 0.8ex;padding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;border-left-style:solid" class="gmail_quote"><font style="background-color:rgb(255,255,204)">kernel 0: exception 14 (error code 0x2): write page fault due to page not present, while in supervisor mode<br>
Address that caused the fault: 0x0<br>No active process<br>Faulting instruction pointer (or following instruction): 0x8010566b (0x 10566b in binary)<br>EAX 0x0 EBX 0x8011e198 ECX 0xfffcd100 EDX 0xbffc ESP 0x80927b68<br>Top o' stack:<br>
0x8010566b 0x10016 0x8 0x10 0xe 0x2 0x8010566b 0x8 0x10016 0x80327000 0x80326000 0x1 0x0 0x0 0x8 0x80 0x0 0xffffffff 0x0 0x8011e198<br>No GDB backend</font></blockquote></div><div> </div><div>Any suggestions are appreciated ?</div>
<div> </div><div>Thanks,</div><div>Zhiquan</div>