- l4-hackers - example.com Site

ARM and PCI?
by Stefan Fritsch 02 Apr '12

02 Apr '12

Hi, do you know what remains to be done to use PCI on ARM (e.g. Realview in qemu) with L4Re and IO? I guess that io needs some changes to support PCI-IO-Ports mapped into memory. Or should that already work? Cheers, Stefan

2 1

Granting flex pages in Fiasco.OC / L4Re
by Daniel Waddington 30 Mar '12

30 Mar '12

Hi, I am using l4_task_map to map flex pages to a child task. What I would like to do is grant a flex page to a child and remove the mapping from the parent. How do I do this? I have tried using l4_map_obj_control(0,1) for mr[3] on the task map call but this does not seem to help. Thanks in advance, Daniel

3 4

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