Hello,I am trying to experiment the "vm-tz" example on the Freescale i.mx6 SDB board.At first, my goal is to understand the example, thus I am interested in runninga simple test kernel instead of a full linux kernel.Specifically, I am trying to reproduce the experimentation of the article related to the trustzoneimplementation on Fiasco.OC L4re, "ARM Trustzone as a Virtualization Technique in Embedded Systems".In particular, it is mentioned in the article at the "Implementation" paragraph that "Multiplexing two or more OS is supported by our design."I would like to investigate this point.I created a new entry to generate the vm-tz binary.I added the following entry to the "src/l4/conf/modules.list" file :entry tz_vmroottask moe --init=rom/vm-tzmodule l4remodule vm-tzIs my configuration entry correct, is there any missing modules that are required by the example?I tested the binary on the board using tftp, and I obtained the following results:L4 BootstrapperBuild: #12 Tue Mar 17 12:10:02 CET 2015, 4.8.3 20140320 (prerelease)Scanning up to 1024 MB RAM, starting at offset 32MBMemory size is 1024MB (10000000 - 4fffffff)RAM: 0000000010000000 - 000000004fffffff: 1048576kBTotal RAM: 1024MBScanning fiascoScanning sigma0Scanning moeMoving up to 5 modules behind 11100000moving module 02 { 110a5000-110de63f } -> { 11195000-111ce63f } [235072]moving module 01 { 1109b000-110a438b } -> { 1118b000-1119438b } [37772]moving module 00 { 11044000-1109a0c7 } -> { 11134000-1118a0c7 } [352456]moving module 04 { 1102a000-11043597 } -> { 1111a000-11133597 } [103832]moving module 03 { 11010000-11029473 } -> { 11100000-11119473 } [103540]Loading fiascoLoading sigma0Loading moefind kernel info page...found kernel info page at 0x10002000Regions of list 'regions'[ 10000000, 100000e3] { e4} Root mbi_rt[ 10001000, 10001aff] { b00} Kern fiasco[ 10002000, 10062fff] { 61000} Kern fiasco[ 10090000, 10096edf] { 6ee0} Sigma0 sigma0[ 10098000, 1009e177] { 6178} Sigma0 sigma0[ 10140000, 10171d77] { 31d78} Root moe[ 10178000, 101934ab] { 1b4ac} Root moe[ 11000000, 1100f4ff] { f500} Boot bootstrap[ 11100000, 11133fff] { 34000} Root ModuleAPI Version: (87) experimentalSigma0 config ip:10090100 sp:00000000Roottask config ip:10140260 sp:00000000Starting kernel fiasco at 100012c8Number of IRQs available at this GIC: 160FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/snglL2: ID=410000c7 Type=9e340340 Aux=02070000 WMask=ffff S=0L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64SERIAL ESC: allocated IRQ 58 for serial uartNot using serial hack in slow timer handler.Welcome to Fiasco.OC (arm)!L4/Fiasco.OC arm microkernel (C) 1998-2013 TU DresdenRev: rexported compiled with gcc 4.8.3 for i.MX6 []Build: #3 Wed Mar 11 16:43:41 CET 2015Calibrating timer loop... done.MDB: use page size: 20MDB: use page size: 12SIGMA0: Hello!KIP @ 10002000allocated 4KB for maintenance structuresSIGMA0: Dump of all resource mapsRAM:------------------------[4:10000000;10000fff][0:10063000;1008ffff][0:10097000;10097fff][0:1009f000;1013ffff][4:10140000;10171fff][0:10172000;10177fff][4:10178000;10193fff][0:10194000;110fffff][4:11100000;11133fff][0:11134000;4effffff]IOMEM:----------------------[0:0;fffffff][0:50000000;ffffffff]MOE: Hello worldMOE: found 1031220 KByte free memoryMOE: found RAM from 10000000 to 4f000000MOE: allocated 1008 KByte for the page array @0x10194000MOE: virtual user address space [0-bfffffff]MOE: rom name space cap -> [C:501000]BOOTFS: [11100000-11119474] [C:503000] l4reBOOTFS: [1111a000-11133598] [C:504000] vm-tzMOE: cmdline: moe --init=rom/vm-tzMOE: Starting: rom/vm-tzMOE: loading 'rom/vm-tz'Vmm startedterminate called after throwing an instance of 'N2L413Runtime_errorE'MOE: task 270000679 exited with 127The code stops at the beginning when it tries to create a VM :L4Re::chksys(env->factory()->create_vm(vm));After reading through the code, I saw that the code example is expecting a linux-image and an initrd to be provided. Is it possible to tell me where these should be added in the build directory? In my test case, the linux-image will be replaced by a simple kernel image.Could someone help me to correct my test case.Many thanks in advance.Best regards,Mahdi