[Barrelfish-users] Have barrelfish implement kernel time-wait mechanism(for ARM)?

Wang Nan wangnan0 at huawei.com
Thu Jul 4 13:22:33 CEST 2013


Other than busy loop, is there any way to make current dispatcher wait for a while (5ms for example) (schedule other dispatcher, or put core in WFI state)?

In get_next_event(), I find that currently you use ARM's PMU and busy loop for that. Can I use hardware timer?

Thank you!

More information about the Barrelfish-users mailing list