- l4-hackers - example.com Site

TUD:OS releases DDEKit/Linux
by Hannes Weisbach 30 Mar '12

30 Mar '12

Hi all, DDEKit/Linux was released! DDEKit/Linux uses the Device Driver Environment approach to run dde-linux-2.6 in Linux user space. This allows Linux device drivers to run in Linux user space, including interrupt handling and DMA support. DDEKit/Linux was evaluated using an Intel E1000E NIC and it was possible to saturate an 1GBit/s link. The source code, including dde-linux-2.6 and an E1000E-example are available for download at: http://os.inf.tu-dresden.de/ddekit Best regards, Hannes Weisbach

2 1

[l4linux+ankh] no eth0
by Timur 26 Mar '12

26 Mar '12

Hi all, i,m trying to bind l4linux to ankh. After launching with attached config files, l4linux doesn't see eth0 interface. What am i doing wrong? Log attached. [modules.list] entry L4Linux-mag-x86 roottask moe rom/l4lx-gfx.cfg module l4re module ned module l4lx-gfx.cfg module io module ankh module ankh.vbus module fb-drv module mag module x86-legacy.devs module l4lx-x86.io module vmlinuz module drops-rd.rd -- Galiullin Timur

4 5

Re: Issues with booting L4Linux
by Adam Lackorzynski 26 Mar '12

26 Mar '12

Hi On Thu Mar 22, 2012 at 18:28:17 +0100, Oliver Horst wrote: > I'm currently trying to setup a small test scenario where L4Linux runs in > parallel > with L4Android within Qemu. I managed to build and start L4Android and it > works fine. > However, I didn't succeeded with booting L4Linux, again the build process > worked out > flawlessly, but the boot process quits with the following message: > > vmlinuz | Invalid IO-Port access at pc = 005b9cec port=0x1f7 > vmlinuz | Page fault (non-resolved): pfa=1a8 pc=4947ad > Die message: Trap: 14 > vmlinuz | panic: going to sleep forever, bye This is the IDE driver trying to accses the hardware, and it is not allowed to do so. For your use-case, just disable everything with IDE in the config name in L4Linux. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Trustzone & Fiasco.OC
by Stefan Kalkowski 23 Mar '12

23 Mar '12

Hello l4-hackers, I'd like to investigate the VM functionality for ARM's TrustZone in Fiasco.OC. I've read the paper of Torsten Frenzel et al. which covers experiments done with ARM TrustZone in Fiasco as a virtualization technique. In that paper they reference a VMM controlling the "normal world" VM(s), but unfortunately I cannot find it in the L4Re or L4Env tree. Is it publicly available, and if so could you please direct me to the right place? Thank you in advance & best regards Stefan -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 2

Issues with booting L4Linux
by Oliver Horst 22 Mar '12

22 Mar '12

Hi All, I'm currently trying to setup a small test scenario where L4Linux runs in parallel with L4Android within Qemu. I managed to build and start L4Android and it works fine. However, I didn't succeeded with booting L4Linux, again the build process worked out flawlessly, but the boot process quits with the following message: vmlinuz | Invalid IO-Port access at pc = 005b9cec port=0x1f7 vmlinuz | Page fault (non-resolved): pfa=1a8 pc=4947ad Die message: Trap: 14 vmlinuz | panic: going to sleep forever, bye I followed the diverse tutorials on the web and built Fiasco.OC, as well as L4Re with their default configurations. In case of L4Linux I tried the default configurations generated by the make targets 'x86-mp_vPCI_defconfig' and 'x86-native_defconfig', both with the same result as above. Please find attached my L4 startup files and the output log for the x86-mp_vPCI_defconfig variant. My Qemu execution command looks like the following: $ qemu -cdrom images/l4linux-x86.iso -boot d -m 512 -serial stdio -enable-kvm Do you have any suggestions how to solve this issue? Best Regards Oliver

1 0

how to start wget example?
by Timur 22 Mar '12

22 Mar '12

Hello! I use attached ankh.lua(defualt), ankh.vbus and wget.lua(default), and receive error http://paste.org.ru/?w335oj Thanks!

4 6

Fiasco.OC development status
by Robert Campbell 21 Mar '12

21 Mar '12

Hey guys, Is Fiasco.OC being actively developed(i.e new and on going research, new features) or is it just being maintained (small adjustments, bug fixes etc...)?

2 1

APIC trigger mode
by Sebastian Sumpf 20 Mar '12

20 Mar '12

Hi there, I have a question regarding the APIC-interrupt mode settings on x86. I see that one has to set the mode externally in Fiasco.OC using the 'l4_icu_set_mode' call. Also I had a look at Nova which seems to program these modes from within the kernel, using edge/high for IRQ 0-15 and level-low for IRQ 16-23. Would that be a valid assumption to program the modes for Fiasco.OC x86 also, or is there an other way to find out the interrupt-trigger modes of IRQs (other than the ones found in ACPI-MADT)? Why is it necessary to set these modes outside the kernel? Thanks a lot, Sebastian

3 3

help l4linux dma usage
by jangwoo 20 Mar '12

20 Mar '12

Hi all. I’m jangwoo. I have some question about l4linux DMA usage. Currently if use dma_alloc_coherent api, it works well. You kwow that “dma_alloc_coherent” get virt addr and phys addr concurrently. But most case of dma usage is to change virt addr into phys addr. Mostly virt addr comes from generic layer of linux kernel. Os it is hard to modify. So, I tried to call virt_to_phys(internal mapping l4x_virt_to_phys), but this function wasn’t direct mapping. I feel like delaying to sync between virt addr and phys addr.(when I check with Trace32) Anyway as “virt_to_phys” have these issues, DMA operation hit miss. Currently l4linux don’t support most dma function. how can I work DMA although it is expedient method? Please. p.s : Not support dma list dma_mmap, ___dma_single_cpu_to_dev, ___dma_page_cpu_to_dev, ___dma_page_dev_to_cpu, dma_map_sg, dma_sync_sg_for_cpu etc thanks all.

1 0

Ankh with l4Linux
by Shashi Sharma 15 Mar '12

15 Mar '12

Hi, I want to enable l4linux to use the Ankh server. But I dont know how to start l4linux so that it can bind to Ankh server. I enabled the l4ankh driver in l4linux. And Following is how I start the Ankh server and l4linux --Ankh----------- -- start ankh loader:startv( {caps = {ankh_service = ankh_clnt:svr(); -- session server vbus = ankh_vbus, -- the virtual bus shm = ankh_shm:m("rws")}, -- shm namespace read/writable log = {"ankh", "g"}, l4re_dbg = L4.Dbg.Warn }, "rom/ankh" ); --L4linux------------------- loader:start( { caps = { log = L4.Env.log:m("rws"), vbus = vbus_l4linux; rtc = rtc_caps.rtc; shm = ankh_shm:m("rws"); ankh = ankh_clnt:create(0,"debug,phys_mac,shm=shm,bufsize=16384"); }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/vmlinuz mem=128M earlyprintk=yes showpfexc=1 console=ttyLv0 tcp,nolock ip=192.168.0.200:192.168.0.115:192.168.0.1:255.255.255.0::eth0: l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=20000 init=/bin/sh"); Thanks, Shashi

3 7