Hi Adrian,
wow! Thank you very much for this thorough review. :-) I reviewed your patches and incorporated them almost unmodified. Also, thank you for the useful remarks (marked with XXX). I will revisit each of them at a later stage.
Because the number of your corrections is quite substantial, I generated a new version of the document with all the fixes in place:
http://genode.org/files/53bcb8e33fe6602fed25edc3c7b922c5/manual-2015-03-09.p...
Of course, the new version is also available at my repository:
https://github.com/nfeske/genode-manual/commits/master
I am happy that you found the documentation valuable and greatly appreciate your contribution to it.
Cheers Norman
On 03/09/2015 11:08 AM, Adrian-Ken Rueegsegger wrote:
Hello Norman,
First of all thank you for creating such a document and giving it to the community. As I started familiarizing myself with Genode about a month ago, your timing is impeccable :)
On 03/06/2015 04:22 PM, Norman Feske wrote:
I would greatly appreciate feedback from the community about those chapters - be it in the form of minor spelling or grammar fixes, suggestions for additional topics you wish to see covered, hints about misleading paragraphs, or any other concerns that you may have.
I have reviewed the entire document expect for the NOVA deferred page-fault handling section in the "Under the hood" chapter. Most changes are typo fixes and other minor stylistic corrections. Besides that I included some suggestions for alternative wording.
You can find the changes incorporated into the document in the review branch at [1]. Please let me know if you would like me to submit the changes in a different form (e.g. pull request) or make other adjustments.
Cheers, Adrian
[1] - https://github.com/codelabs-ch/genode-manual/tree/review