Problems Compiling L4RE with L4Linux

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
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers