Hi, On 3/28/20 11:26 PM, Or Becker wrote: > I saw a similar question previously on your mailing list: > > http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008398.html > > > > But the answer was that by using the newest version you don’t need to > put the GIC on the vbus and I DO use the newest version downloaded from > the SVN : https://svn.l4re.org/repos/oc/l4re/trunk/ > > > Can you please help me understand why did it happened? (Don’t know if > its relevant but I use an ubuntu VM running on VirtualBox).
this means the tutorial on GitHub assumes you are using up-to-date sources from GitHub. You could also use sources from svn only, but then the tutorial will not work (but there might be revisions in its history that are closer to the previous behavior). You can also try combining l4linux from svn with the GitHub sources for the other components. See this comment where I explain in greater detail why you see the error message: https://github.com/kernkonzept/manifest/issues/2#issuecomment-576607563 Cheers, Jakub > > > > Thanks again :) > > Or > > > > On Fri, Mar 27, 2020 at 11:51 PM Matthias Lange > <matthias.la...@kernkonzept.com <mailto:matthias.la...@kernkonzept.com>> > wrote: > > Hi, > > the error tells you that the boot module "vmm.lua" could not be > found. As it > is not part of your boot FS (see log output) you have to add it to your > modules.list entry. > > Please be aware that the vmm lua library cannot be used to start > L4Linux. > There you have to use the "traditional" way of using an instance of > L4.Loader. > > Regards, > Matthias. > > > On [25-03-2020 17:39], Or Becker wrote: > > Hi, > > > > I'm trying to compile L4RE with L4Linux and execute it with qemu. > > I followed the Github tutorial but the default Ned script didn't work > > (since I'm using the L4Linux I guess), so I used a different Ned > script I > > found online (In the future I will have multiple VMs so I thought > to do it > > in advanced). > > > > My Ned script is simple: > > > > package.path = "rom/?.lua"; > > > > > > > > local L4 = require "L4"; > > > > local vmm = require "vmm"; > > > > > > > > vmm.start_vm({ > > > > id = 1, > > > > mem = 128, > > > > mon = false, > > > > rd = "rom/ramdisk-armv8.cpio.gz", > > > > fdt = "rom/virt-arm_virt.dtb", > > > > bootargs = "console=hvc0 earlyprintk=1 rdinit=/bin/sh", > > > > kernel = "rom/Image.gz", > > > > log = L4.Env.log > > > > }); > > > > But when I try to execute "make E=uvmm1 qemu", an error occurred: > > > > Allocate ARM PPI 25 to virtual 0 > > > > Allocate ARM PPI 27 to virtual 1 > > > > Allocate ARM PPI 25 to virtual 0 > > > > Allocate ARM PPI 27 to virtual 1 > > > > Calibrating timer loop... done. > > > > MDB: use page size: 30 > > > > MDB: use page size: 21 > > > > MDB: use page size: 12 > > > > SIGMA0: Hello! > > > > KIP @ 40003000 > > > > allocated 4KB for maintenance structures > > > > SIGMA0: Dump of all resource maps > > > > RAM:------------------------ > > > > [4:40000000;40000fff] > > > > [0:40054000;400effff] > > > > [0:40109000;40117fff] > > > > [0:4011d000;4012ffff] > > > > [4:40130000;4017afff] > > > > [0:4017b000;40189fff] > > > > [4:4018a000;40197fff] > > > > [0:40198000;410fffff] > > > > [4:41100000;4264bfff] > > > > [0:4264c000;7effffff] > > > > IOMEM:---------------------- > > > > [0:0;3fffffff] > > > > [0:80000000;ffffffffffffffff] > > > > MOE: Hello world > > > > MOE: found 1009576 KByte free memory > > > > MOE: found RAM from 40000000 to 7f000000 > > > > MOE: allocated 1008 KByte for the page array @0x40198000 > > > > MOE: virtual user address space [0-7fffffffff] > > > > MOE: rom name space cap -> [C:103000] > > > > MOE: rwfs name space cap -> [C:105000] > > > > BOOTFS: [41100000-41197700] [C:107000] uvmm > > > > BOOTFS: [41198000-411c4e70] [C:109000] l4re > > > > BOOTFS: [411c5000-41246690] [C:10b000] ned > > > > BOOTFS: [41247000-412475ae] [C:10d000] virt-arm_virt.dtb > > > > BOOTFS: [41248000-41453600] [C:10f000] ramdisk-armv8.cpio.gz > > > > BOOTFS: [41454000-41454138] [C:111000] uvmm1.ned > > > > BOOTFS: [41455000-4264ba00] [C:113000] Image.gz > > > > MOE: cmdline: moe rom/uvmm1.ned > > > > MOE: Starting: rom/ned rom/uvmm1.ned > > > > MOE: loading 'rom/ned' > > > > Ned says: Hi World! > > > > Ned: loading file: 'rom/uvmm1.ned' > > > > lua error: rom/uvmm1.ned:4: module 'vmm' not found: > > > > no field package.preload['vmm'] > > > > no file 'rom/vmm.lua' > > > > no file '/usr/local/lib/lua/5.3/vmm.so' > > > > no file '/usr/local/lib/lua/5.3/loadall.so' > > > > no file './vmm.so'. > > > > qemu-system-aarch64: terminating on signal 2 > > > > Makefile:6: recipe for target 'do-all-make-goals' failed > > > > make: *** [do-all-make-goals] Interrupt > > I tried to add more paths to the package.path but the error stays > the same > > (even if uvmm.lua exists in the path) > > Can you please help me? > > > > Thank you, > > Or > > > _______________________________________________ > > l4-hackers mailing list > > l4-hackers@os.inf.tu-dresden.de > <mailto:l4-hackers@os.inf.tu-dresden.de> > > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > _______________________________________________ > l4-hackers mailing list > l4-hackers@os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > -- Kernkonzept GmbH at Dresden, Germany, HRB 31129, CEO Dr.-Ing. Michael Hohmuth _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers