tz_vmm on imx6 Board

Christian Helmuth christian.helmuth at ...1...
Tue Oct 28 08:37:55 CET 2014

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.

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

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

More information about the users mailing list