T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / style /
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
2016-04-11 David CockARMv8 report bib fixes
2016-04-11 David CockARMv8 report is content complete.
2016-04-11 David CockARMv8 report looking good up to S3.1
2016-04-11 David CockARMv8 tech report
2015-12-08 Gerd ZellwegerInitial commit of CPU driver technote.
2013-12-13 pravin@inf.ethz.chUpdated the README and Practical guide so that they...
2013-12-12 MothyTidying up techical notes
2013-12-11 Stefan Kaestledocs: Added references and figure for memory layout
2013-12-09 Gerd ZellwegerTech-note on how to write device drivers in BF.
2013-12-09 MothyOverhauled TN-000, and moved some content elsewhere...
2011-08-30 MothyCleaned up missing references, etc.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.