[Barrelfish-users] Trying to get timers to work...

Andrew Baumann Andrew.Baumann at microsoft.com
Thu Feb 20 01:21:52 CET 2014


Please try using the newer deferred events API in <barrelfish/deferred.h> -- this integrates more cleanly with waitsets and IDC, and doesn't rely on any external services.

The old timer library should really be deprecated (or just removed if nothing in the tree still relies on it). If you do really need that to work, try loading the lpc_timer driver.


From: M Brown [mailto:M.Brown at huawei.com]
Sent: Wednesday, 19 February 2014 15:40
To: barrelfish-users at lists.inf.ethz.ch
Cc: debashis bhattacharya
Subject: [Barrelfish-users] Trying to get timers to work...

   I'm  trying to use the Barrelfish timer  API (timer/timer.h). It is blocking on the call to timer_init. Is there a specific module I need to load? I'm using the QEMU emulator.

[cid:image001.png at 01CF2D8E.B1B09760]

Mark Brown
Huawei Technologies Inc.
5340 Legacy Dr., Suite 175
Plano, TX 75024
Tel: 469-277-5700 x5870
Email: m.brown at huawei.com<mailto:m.brown at huawei.com>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20140220/3850327e/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 2891 bytes
Desc: image001.png
Url : https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20140220/3850327e/attachment-0001.png 

More information about the Barrelfish-users mailing list