T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / 019-device-drivers /
2013-12-12 MothyTidying up techical notes
2013-12-09 Gerd ZellwegerTech-note on how to write device drivers in BF.