Hm, am I right that you build *on* i.MX53 QSB not on x86?
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ ·
http://genode.org/ · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth