Documentation - request for feedback

Norman Feske norman.feske at ...1...
Mon Apr 27 11:33:32 CEST 2015

Hello Bob,

nice to see you after such a long time. I am happy about your feedback!

On 04/27/2015 06:47 AM, Nobody III wrote:
> I'm reading the documentation to get a better understanding of Genode. I
> am a native English speaker, and I like most of what I've read so far,
> however I have found a few errors. The most frequent error is incorrect
> punctuation (e.g. placing commas where they don't belong). Though this
> is a minor issue, it would be nice to get it fixed. I would do it myself
> as I read the documentation if I could edit the PDF.

The PDF is created from the document "source code" found here:

You can clone it as a regular Git repository:

  git clone

The textual content has the form of the plain text files in the manual/
subdirectory. If you have any fixes, you may edit those text files and
send me a diff. I am very thankful for such corrections. :-)

> The biggest error that I have come across so far is on page 44 of
> manual-2015-03-31: "Genode does hardly abstract from physical
> resources." You could change it to something like "Genode doesn't
> abstract from physical resources."

Thank you.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list