OUTPUT:
## Booting kernel from Legacy Image at 71000000 ...
Image Name:
Image Type: ARM Linux Kernel Image (uncompressed)
Data Size: 9355264 Bytes = 8.9 MiB
Load Address: 70010000
Entry Point: 70010000
Verifying Checksum ... OK
Loading Kernel Image ... OK
Starting kernel ...
kernel initialized
Genode 15.02 <local changes>
int main(): --- create local services ---
int main(): --- start init ---
In Rom_connection(): /home/hassonof/arm-tz/devel/boards/iMX53/genode-original/repos/base/include/rom_session/con7
filename = init, label = <NULL>
int main(): transferred 246 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open file "
ld.lib.so"
[init] In Rom_connection(): /home/hassonof/arm-tz/devel/boards/iMX53/genode-original/repos/base/include/rom_sess7
[init] filename = config, label = <NULL>
[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] In Rom_connection(): /home/hassonof/arm-tz/devel/boards/iMX53/genode-original/repos/base/include/rom_sess7
[init] filename = tz_vmm, label = tz_vmm
[init] child "tz_vmm"
[init] RAM quota: 3932160
[init] ELF binary: tz_vmm
[init] priority: 0
[init -> tz_vmm] Start virtual machine ...
and then errors described at the beginning.