I am running tz_vmm script for imx6 processor, In which I tried to linux in the normal world and i got the following message :

kernel initialized
int main(): --- create local services ---
Genode 14.08
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 253 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open file "ld.lib.so"
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "CAP"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init]   service "SIGNAL"
[init]   service "VM"
[init] child "tz_vmm"
[init]   RAM quota:  3932160
[init]   ELF binary: tz_vmm
[init]   priority:   0
[init -> tz_vmm] Could not open file "linux"
[init -> tz_vmm] C++ runtime: Genode::Rom_connection::Rom_connection_failed
[init -> tz_vmm] void* abort(): abort called