- l4-hackers - example.com Site

Re: Fiasco.OC development status
by Robert Campbell 12 Apr '12

12 Apr '12

Thank you Bjoern. Any idea when new release will be made and what changes and improvements to expect? > Hi Robert, > >> 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...)? > > yes, it's actively being worked on and our group uses it as the basis > for research projects. To get an (incomplete) overview of our research > work, you might want to look at our publications list: > http://www.inf.tu-dresden.de/index.php?node_id=1429 > > If you have more specific questions, feel free to ask. > > Cheers, > Bjoern

2 1

Bind irq to icu failed
by Shashi Sharma 09 Apr '12

09 Apr '12

Hi, I am trying to use e1000e driver in Ankh to bring-up intel's 82574L ethernet controller. But its unable to allocate interrupt and I cant figure out the source of the problem. Here is the ankh log: ------------------------------------------------------------------------ ankh | Initialized DDELinux 2.6 ankh | Initializing DDE page cache ankh | ddekit_pci_init ankh | pci bus constructor ankh | PCI: L4 root bridge is device 4e768 ankh | init_wq_head ankh | l4dde26_register_rx_callback: New rx callback @ 0x1000270. ankh | Softirq daemon starting ankh | <6>e1000e: Intel(R) PRO/1000 Network Driver - 0.3.3.3-k6 ankh | <6>e1000e: Copyright (c) 1999-2008 Intel Corporation. ankh | unimplemented: pci_set_master ankh | <3>0000:00:01.0: 0000:00:01.0: Failed to initialize MSI-X interrupts. Falling back to MSI interrupts. ankh | <3>0000:00:01.0: 0000:00:01.0: Failed to initialize MSI interrupts. Falling back to legacy interrupts. ankh | <6>0000:00:01.0: eth0: (PCI Express:2.5GB/s:Width x1) 0x14815cM ankh | <6>0000:00:01.0: eth0: Intel(R) PRO/1000 Network Connection ankh | <6>0000:00:01.0: eth0: MAC: 3, PHY: 8, PBA No: ffffff-0ff ankh | <6>Intel(R) PRO/1000 Network Driver - version 7.3.21-k3-NAPI ankh | <6>Copyright (c) 1999-2006 Intel Corporation. ankh | <6>net_namespace: 636 bytes ankh | open_network_devices() ankh | opening lo ankh | <6>device lo entered promiscuous mode ankh | set interface to promiscuous mode. ankh | opening eth0 ankh | <6>device eth0 entered promiscuous mode ankh | set interface to promiscuous mode. ankh | Thread 0xb0 for IRQ 10 ankh | Bind irq to icu failed with -2 ankh | claim_irq: failed to attach IRQ ankh | <3>0000:00:01.0: eth0: Unable to allocate interrupt, Error: -16 ankh | error opening eth0 : -16 ankh | Opened -16 network devices. ankh | lo IRQ: 0x00 MAC: 00:00:00:00:00:00 MTU: 16436 ankh | Registered @ registry. ankh | Gooood Morning Ankh-Morpoooooork! TID = 0x57 ankh | Creating session factory. ankh | Configuration: debug,promisc,device=eth0,shm=shm,bufsize=16384,phys_mac ankh | Debug mode ON. ankh | Using promiscuous mode. ankh | Device 'eth0' requested. ankh | SHM area 'shm' requested. ankh | Buffer size: 16384 ankh | Physical MAC requested. ankh | rom/ankh: /home/shashi/Desktop/L4/src/l4/pkg/ankh/server/src/session: 159: Ankh::ServerSession::ServerSession(bool, bool, bool, const char*, const char*, unsigned int. bool): Assertion `_dev' failed. --------------------------------------------------------------------------------------- I appreciate your help. Regards, Shashi

4 8

Can't get sender from l4_ipc_wait()
by Mai, Haohui 08 Apr '12

08 Apr '12

Hi, It seems that l4_ipc_wait() will always set the sender to zero. I tested it in example at /pkg/examples/sys/ipc/ipc_example.c, in the l4re-2011081207 snapshot. Here is the patch I applied to the file (to print out label): --- a/ipc_example.c 2011-08-12 00:20:36.000000000 -0500 +++ b/ipc_example.c 2012-04-05 17:29:24.844608359 -0500 @@ -84,6 +84,7 @@ continue; } + printf ("IPC from %lx, %d\n", label, label == 0); /* So, the IPC was ok, now take the value out of message register 0 * of the UTCB and store the square of it back to it. */ l4_utcb_mr()->mr[0] = l4_utcb_mr()->mr[0] * l4_utcb_mr()->mr[0]; And here is the result I got: ... vandroid| Sending: 4 vandroid| IPC from 0, 1 vandroid| Received: 16 ... So it seems that l4_ipc_wait() doesn't return the sender. I'm writing an OS on top of Fiasco.OC. This information is important for pager because it'll need it to figure out which page it'll map in. Do you have any ideas to fix it, or any idea to work around it (at least L4Linux works)? Your comments are appreciated. ~Haohui

2 1

Tracing only write page-faults
by Ivan Bludov 08 Apr '12

08 Apr '12

Hello. I want to trace all write page-faults from an application. I use the pager that wait for page-fault and maps the fpage to thread calling l4_ipc_send_and_wait setting L4_ITEM_MAP. For tracing only write page-faults I map fpage as L4_FPAGE_RO if it was read-pf and then I map the same fpage with L4_FPAGE_RW if the next write-pf occurs. (I mean I map the same fpage with the different flags twice). But an application doesn't continue run. Also I have tried to l4_task_unmap(L4_FP_OTHER_SPACES) this fpage before mapping it as L4_FPAGE_RW. It doesn't work. What should I use to change fpage's rights to L4_FPAGE_RW for fpage that is already mapped as L4_FPAGE_RO for an application? Ivan Bludov

2 1

support for multi-core in Fiasco.OC
by K M 05 Apr '12

05 Apr '12

I am using Fiasco.OC with VirtualBox and have successfully booted and run some demos. However, I am unable to get the kernel to use more than one core on my quad-core machine. I have enabled all 4 processors within the VirtualBox L4 machine, but when I run the "thread_migrate" example, only one CPU is ever recognized and used. What am I doing wrong? Thanks, Kevin

2 1

libgendep on Ubuntu 11.10
by Christian Helmuth 03 Apr '12

03 Apr '12

Hi, with current SVN (r38) I get the following error: gcc -fPIC -Wall -pedantic -g -m64 -c /plain/krishna/src/genode/genode.git/base-foc/contrib/l4/tool/gendep/deptrack.c -o /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/deptrack.64.o gcc -fPIC -Wall -pedantic -g -m64 -c /plain/krishna/src/genode/genode.git/base-foc/contrib/l4/tool/gendep/syscall.c -o /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/syscall.64.o mkdir -p /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/64 gcc -m64 -shared -Wl,-soname,/plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/64/libgendep.so -ldl -o /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/64/libgendep.so /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/deptrack.64.o /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/syscall.64.o /usr/local/genode-gcc/bin/genode-x86-gcc: symbol lookup error: /plain/krishna/build/genode.foc_x86_32/l4/tool/gendep/64/libgendep.so: undefined symbol: dlsym The attached patch fixed the issue for me and I'd like to share it here ;-) Greets -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 3

L4Android kernel didn't intialize L4 stack for the server thread.
by Mai, Haohui 03 Apr '12

03 Apr '12

Hi, It seems that I found a bug in the latest version of L4Android kernel. I'm familiar enough with the code base so your comments are highly appreciated. The main thread for L4Linux (i.e., the thread running l4x_server_loop()) didn't initialize l4x_stack before execution. Therefore, this thread crashes whenever it calls cli() / sti(). Calling vmalloc() and kmalloc() can reproduce this bug reliably. Here is a patch to fix this problem. ~Haohui --- a/arch/l4/kernel/main.c +++ b/arch/l4/kernel/main.c @@ -2501,6 +2501,8 @@ int __init_refok L4_CV main(int argc, char **argv) * for these areas so far */ //l4x_register_pointer_section(&_edata, 0, "data"); + l4x_stack_setup(current_thread_info(), l4_utcb(), 0); + /* Send start message to main thread. */ l4_ipc_send(l4lx_thread_get_cap(main_id), l4_utcb(), l4_msgtag(0, 0, 0, 0), L4_IPC_NEVER);

3 3

Question on sending capability through IPC
by Mai, Haohui 02 Apr '12

02 Apr '12

Hi, I'm a little bit confused by how Fiasco.OC sending capabilities through IPC. Particularly, it seems that one has to pack the capability in message register, rather than buffer register. Here is a code sending some capability to the client, which works with Fiasco.OC: l4_utcb_t * u = l4_utcb(); l4_utcb_mr_u(u)->mr[0] = ipc_id; l4_utcb_mr_u(u)->mr[1] = L4_ITEM_MAP; l4_utcb_mr_u(u)->mr[2] = l4_obj_fpage(cap, 0, L4_FPAGE_RWX).raw; l4_utcb_br_u(u)->bdr = 0; tag = l4_msgtag(label, 1, 1, 0); ipc_call(...); Notice that the capability is assigned into mr[1] and mr[2], but not br[1] and br[2]. It seems that this behavior is controlled by the constructor of L4_snd_item_iter, at kern/l4_buf_iter.cpp:52 explicit L4_snd_item_iter(Utcb const *utcb, unsigned offset) : _buf(&utcb->values[offset]), _max(&utcb->values[Utcb::Max_words]) {} My question is that whether this is the desired behavior? I didn't find any specification on this. ~Haohui

2 1

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

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

NFS boot
by Sartakov A. Vasily 15 Mar '12

15 Mar '12

Hello. I try to use NFS in l4linux and have problem. This happens on ARM and on X86: WARN: Page-fault above task size: pfa=bfdfeb40 pc=4007d760 l4linux | 0: 00009228 4017e2d8 0d696914 00008f38 4: 00000000 40095910 bfdff000 bfdfeb40 l4linux | 8: 40094fb0 00000000 40094fb0 0001702c 12: 00000070 bf977ea8 40083e58 4007d760 l4linux | CPSR: 20000010 Err: 00410007 Kernel panic - not syncing: Attempted to kill init! [<0012ebf8>] (unwind_backtrace+0x0/0xf4) from [<00482c70>] (panic+0x58/0x180) [<00482c70>] (panic+0x58/0x180) from [<00150ee0>] (do_exit+0x5b4/0x670) [<00150ee0>] (do_exit+0x5b4/0x670) from [<00150fd8>] (do_group_exit+0x3c/0xb0) [<00150fd8>] (do_group_exit+0x3c/0xb0) from [<0015bf88>] (get_signal_to_deliver+0x190/0x388) [<0015bf88>] (get_signal_to_deliver+0x190/0x388) from [<00128bb8>] (do_signal+0x88/0x5ac) [<00128bb8>] (do_signal+0x88/0x5ac) from [<0012c31c>] (l4x_user_dispatcher+0x1500/0x2574) [<0012c31c>] (l4x_user_dispatcher+0x1500/0x2574) from [<001276c0>] (kernel_execve+0x5c/0xc0) [<001276c0>] (kernel_execve+0x5c/0xc0) from [<00122558>] (init_post+0x98/0xcc) [<00122558>] (init_post+0x98/0xcc) from [<001001f0>] (kernel_init+0xe4/0x114) [<001001f0>] (kernel_init+0xe4/0x114) from [<00126c18>] (kernel_thread_exit+0x0/0x8) panic: going to sleep forever, bye l4linux | panic: going to sleep forever, bye If i boot from other source, I can successful mount NFS root, do one time ls and with next command i will get panic. -- Sartakov A. Vasily

2 1

Re: PowerPC support
by Adam Lackorzynski 05 Mar '12

05 Mar '12

Hi Oliver, On Wed Feb 29, 2012 at 10:11:06 +0100, Oliver Horst wrote: > I've read your reply to last year question about the PowerPC support of > FIASCO [1]. > Is there any progress to be noted on this topic? Unfortunately none. > Further, I'd like to know which actual processor board you targeted the > PowerPC > port to and with that which PowerPC ISA version do you intend to support? One is a 603e one, the other Qemu. At the current stage it probably does not play a big role. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 2

Serial console with qemu/realview-eb
by Mehdi AICHOUCH 05 Mar '12

05 Mar '12

Hi Adam, By adding the option [kernel fiasco -serial_esc] to conf/module.list, the input of the L4Linux console is working great. Thank very much. Mehdi

1 0

page mapping in l4linux
by jangwoo 01 Mar '12

01 Mar '12

Hi all. I have question about mapping memory page in l4linux. I think “dma_map_page” function seem malfunction in below code. struct page *new_page; u32 linux_phys_addr; new_page = alloc_page(GFP_HIGHUSER | __GFP_ZERO | __GFP_NORETRY | __GFP_NOWARN | __GFP_COLD); linux_phys_addr = dma_map_page(NULL, new_page, 0, PAGE_SIZE, DMA_BIDIRECTIONAL); ////// PAGE_SIZE is 4KB _______________________________________________________________ new_page | linux_phys_addr | correct linux_phys_addr | ----------------|----------------------------|------------------------------ | 0xe54b20 0x325d9000 0x48b54b20 0xe54b40 0x325da000 0x48b54b40 0xe54b60 0x325db000 0x48b54b60 as H/W ram-base is 0x40000000, 0x30000000 base address can’t be mapped. Does anybody know a way to work dma_map_page? Best.

2 1

Serial console with qemu/realview-eb
by Mehdi AICHOUCH 01 Mar '12

01 Mar '12

Hi all, I have the same problem with the serial console in QEMU, I tested the same configuration as you. This my test command. [qemu-system-arm -M realview-eb -cpu arm926 -kernel bootstrap_L4Linux_ARM.elf -m 256 -nographic] All output are OK, but no input. I also tried to use the I/O C standard gets(char *) function, in the "hello" example, but I get an error compilation: "undefined reference to gets". Is there any solution or hint since the first post of the problem and after the answer of Julian. thank you in advance. Mehdi

2 1