tz_vmm on imx6 Board

[Christian Helmuth]

I just discovered that you could add some verbosity to the platform
initialization of base-hw. Just change at

  https://github.com/genodelabs/genode/blob/14.08/repos/base-hw/src/core/platform.cc#L131

from

  enum { VERBOSE = 0 };

to

  enum { VERBOSE = 1 };

Happy hacking
-- 
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