Port Genode to Exynos4412

[Christian Helmuth]

Hello Oliver,

as you may have noticed only subscribed members of genode-main are
allowed to post to the list. So, please consider to subscribe if
you're going to use this forum actively. Otherwise, each of your
messages has to be approved manually.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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