T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / 004-virtual_memory /
2013-12-11 Simon Gerbertn004 (vm): added some bits on new kernel interface.
2013-03-11 MothyMackerel quick reference page.
2012-10-25 Raphael FuchsTN004: Fixed typo.
2012-01-10 Simon GerberAdded possibility of running bibtex for tech notes.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.