Hello Ross, Many thanks for your suggestions. We will incorporate them during our next documentation revision. Greets -- Christian Helmuth Genode Labs http://www.genode-labs.com/ ยท http://genode.org/