error to build Genode for Linux

[Norman Feske]

Hello Truong,

thank you for testing the patches so quickly. Now I can construct a
clean fix.

BTW, please excuse my naive question but what is the correct (and
polite) way to refer to your first name. Is it Truong, or Le Bao, or
TRUONG? I ask because I want to avoid embarrassing you with greeting you
in each mail in a wrong way. .-)

Best regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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