tz_vmm on imx6 Board

[Christian Helmuth]

Hello Chirag Garg,

unfortunately base-hw does not log the discovered "boot modules" which
are added to the ROM file system. Nevertheless I expect your config
file refers to the ROM binary "linux" while your ROM file system does
not contain such a file. Please double-check your config file and the
var/run/<test case> directory.

Greets
-- 
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