T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / 011-idc /
2013-12-09 MothyOverhauled TN-000, and moved some content elsewhere...
2013-03-11 MothyMackerel quick reference page.
2012-05-05 Raphael FuchsFixed typos in Technical Note 011.
2012-01-10 Simon GerberAdded AHCI driver (ahcid), AHCI user-space library...
2012-01-10 Simon GerberAdded possibility of running bibtex for tech notes.
2011-08-30 MothyCleaned up missing references, etc.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.