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

[Wang Nan]

Hi,

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!