[Barrelfish-users] Process Scheduling on Barrelfish

[Kevin Thomas Mathew]

So I have read that two kernel level schedulers (RBED and Round Robin) are
used along with a simple Round Robin for user level thread scheduling,
could anyone walk me through how I could probably simulate with code how
these algorithms work on Barrelfish?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20150323/3b089232/attachment.html