June 2014 - l4-hackers - example.com Site

Graphical desktop, l4con, mag
by teclis High Elf 02 Jun '17

02 Jun '17

Guten Tag, I've got the Hello app runing with fiasco and l4re in qemu, how do I get the graphical UI and console running that I see on the screen shots page? Do I need to use l4con and mag? I don't see an entry with l4con in modules.list. danke * <http://german.about.com/library/media/Audio/gutentag.wav>*

6 15

cannot find -lld-l4
by ba_f 25 Sep '14

25 Sep '14

Hello l4-hackers, I get an error when trying to compile, respectively linking my program. /opt/gcc-linaro-arm-linux-gnueabihf-4.8-2014.03_linux/bin/arm-linux-gnueabihf-ld: cannot find -lld-l4 make[3]: *** [myProg] Fehler 1 My Program does not include this lib. It comes from the L4-make process (prog.mk). I have already compiled smaller programs, without problems. BTW before that missing lib error, i get a lot of "multiple definition of...". Any ideas? I use Debian 7 32bit. Thanks

3 4

Adding a new scheduling algorithm to Fiasco.OC
by Valentin Hauner 19 Aug '14

19 Aug '14

Hi, I'm planning to add a new scheduling algorithm to Fiasco.OC. I will implement EDF. First of all, is there some handout written by you main developers that copes with the issues of implementing EDF in Fiasco.OC? What I've achieved so far: I've created the files sched_context-edf.cpp and ready_queue_edf.cpp in ./kernel/fiasco/src/kern, using the corresponding source files for your fixed-priority scheduler as templates. I've named the config directive used in ./kernel/fiasco/src/Modules.* files analogous to yours, that is 'sched_edf' in my case. Now, I'm beginning to modify sched_context-edf.cpp and ready_queue_edf.cpp to fit the requirements of EDF, especially the en- and dequeuing as well as the 'dominates' method. Are there any other major source files that I do have to alter? Thanks in advance! Best regards, Valentin

2 17

I share a document to access HW on L4 Linux.
by Taeung 18 Aug '14

18 Aug '14

Thank you L4 Hackers. You have help me in securing Ethernet on L4 Linux. So, I succeeded it. I’m particularly grateful to Martin Schröder, Wei jin, Adam Lackorzynski, Matthias Lange. Although there is already a document 'L4 Runtime Environments : Io, the Io server' a link of which is http://os.inf.tu-dresden.de/L4Re/doc/io.html, I made a guide document for accessing HW on L4 Linux because of ethernet example. (I've used ARM platform Freescale i.MX6 Quad SABRESD ) This document is https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux… I don’t know whether this document can help someone in accessing HW on L4Linux. But I want to share this document in order to repay for l4hackers's kindness. - Taeung -

3 5

Do L4 Linux lack source code about Freescale i.MX6 Quad ?
by Taeung 04 Aug '14

04 Aug '14

Hello , L4 hackers I always appreciate L4 hackers. I've succeed boot "helloworld + L4/Fiasco" on Freescale i.MX6q_sabre_sd. So, I've try to build L4 linux (|Repository : svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux|). I've configured for build L4 Linux such as.. ====================================================== System type ---> ARM system type (Allow multiple platforms to be selected) Multiple platform selection ---> ARMv7 based platforms (Cortex-A, PJ4, Scorpion, Krait) Build type Freescale i.MX family Freescale i.MX support ---> i.MX6 Quad/DualLite support ====================================================== But I've meet errors even so often. such as .. 1. ERROR: CONFIG_ARM_PATCH_PHYS_VIRT must not be enabled. => So, I've force to change CONFIG_ARM_PATCH_PHYS_VIRT=y to =n . 2. irq.c:16:26: error: 'L4X_NR_IRQS_V_DYN' undeclared here irq.c:46:14: error: 'L4X_IRQS_V_DYN_BASE' undeclared and irq.c:48:14: error: 'NR_IRQS_HW' undeclared => So, I've included "#include <asm/generic/irq-vectors.h>" and "#include <asm/mach-arm/generic/mach/irqs.h>". 3. l4.c:57:13: error: 'L4X_IRQS_V_STATIC_BASE' undeclared ...etc. => So, I've included "#include <asm/generic/irq-vectors.h>" and "#include <asm/mach-arm/generic/mach/irqs.h>". 4. drivers/built-in.o: In function `clk_disable': clk.c:867: multiple definition of `clk_disable' arch/l4/built-in.o:/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/l4.c:73: first defined here drivers/built-in.o: In function `clk_enable': clk.c:919: multiple definition of `clk_enable' arch/l4/built-in.o:/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/l4.c:65: first defined here make[1]: *** [vmlinux] Error 1 make: *** [sub-make] Error 2 => So, I delete this lines in l4linux/drivers/clk/clk.c. 7. undefined reference to `__pv_phys_offset' from signal.c , init.c, mm.h ....etc. My question is.... Is it's problem that my config is wrong or l4 linux lack source code about Freescale i.MX6 Quad ? * Refer to > /home/taeung/workspace/l4linux/arch/l4/kernel/*irq.c* /home/taeung/workspace/l4linux/arch/l4/include/asm/generic/*irq-vectors.h* /home/taeung/workspace/l4linux/arch/l4/kernel/*pm.c */home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/*l4.c** */home/taeung/workspace/l4linux/arch/l4/l4lxlib/generic/*irq_gen.c* /home/taeung/workspace/l4linux/drivers/clk/*clk.c */home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/*signal.c */home/taeung/workspace/l4linux/arch/l4/mm/arch-arm/*init.c */home/taeung/workspace/l4linux/include/linux/*mm.h *

3 2

Question abut DRQ handler
by Yuxin Ren 07 Jul '14

07 Jul '14

Hi, When I go through the IPC code, I have some questions about dqr handler. In the remote_ipc_send function within the thread-ipc.cpp file, I find a comment " // trigger remote_ipc_receiver_ready path, because we may need to grab locks // and this is forbidden in a DRQ handler. So transfer the IPC in usual // thread code. However, this induces a overhead of two extra IPIs." I have some questions about this comment. 1. Why cannot we grab locks in a DRQ handler? 2. Where do we need to grab lock? 3. Why can extra IPI solve this problem? Thank you very much. Best, Yuxin

2 5

Doubts about File Systems on FIASCO on ARM (Cortex-A15)
by Maria Soler 03 Jul '14

03 Jul '14

Hello, I would need to use file system facilities, but I am not sure how this is done. I can already use rom/ and also tmpfs, but neither is exactly what I need. I need to create persistent files that are written in disk from applications running on FIASCO (directly, not using L4Linux as an intermediary). I would also need to load (these or other) files from disk in run time (loading all files as modules in rom may not be the best solution, specially since we need to create new files "on the go" and be able to load them from other applications. Is there any module/library/whatever in FIASCO that offers this? If there is one, how can we use it/where can we find information about it? In case this is relevant, our applications are in C and we are to run FIASCO in TrustZone Crotex-A15 (in secure mode). Best regards, María.

4 7

Question about handshake_receiver in IPC
by Yuxin Ren 02 Jul '14

02 Jul '14

Hi, I find before handle IPC, we always call handshake_receiver function. A basic question is why do we need to handshake receiver? What do we do when we handshake_receiver? Another thing I note is we have separate handshake_receiver (remote_handshake_receiver) if the receiver is on the other core. What is the difference between those two handshake_receiver functions? Thank you very much. Best, Yuixn

2 1

real time application example in l4re
by cem akpolat 01 Jul '14

01 Jul '14

Dear all, is there any example for a real-time applications running on l4re? I see in the slides prepared by TU Dresden that there is always a separation between realtime and non-realtime, but I couldn't find any example for that. If there is an example, could you refer it? Cheers, Cem Akpolat

2 1

IO configuration language
by Martin Schröder 25 Jun '14

25 Jun '14

IO supports two configuration formats. The (legacy format ?) "IO configuration language" and a (newer ?) lua based one. Except for some examples and the syntax file ioconfig.vim I could not find much documentation. But anyway I am running into trouble when using the lua based one instead of my existing (so far working) old one. I have something like this (two network cards with each dmamem): === (old one) hw-root { NIC0 => new Device() { .hid = "foodevice"; new-res Mmio(0x111 ... 0x222); } NIC1 => new Device() { .hid = "foodevice"; new-res Mmio(0x333 ... 0x444); } DMAMEM0 => new Device() { .hid = "dmamem"; new-res Mmio_ram(0x80000, 0); } DMAMEM1 => new Device() { .hid = "dmamem"; new-res Mmio_ram(0x80000, 0); } } client0 => new System_bus() { "foo.dev0" => wrap(hw-root.NIC0); "dmamem" => wrap(hw-root.DMAMEM0); } client1 => new System_bus() { "foo.dev1" => wrap(hw-root.NIC1); "dmamem" => wrap(hw-root.DMAMEM1); } === and want to convert it into something like this: === (new one) Io.hw_add_devices { NIC0 = Io.Hw.Device { hid = "foodevice" Io.Res.mmio(0x111, 0x222) }, NIC1 = Io.Hw.Device { hid = "foodevice" Io.Res.mmio(0x333, 0x444) }, DMAMEM0 = Io.Hw.Device { hid = "dmamem"; Io.Mmio_data_space(0x80000, 0x80000); }, DMAMEM1 = Io.Hw.Device { hid = "dmamem"; Io.Mmio_data_space(0x80000, 0x80000); } } local hw = Io.Hw Io.add_vbusses { client0 = Io.Vi.System_bus(function () dev0 = wrap(hw:match(NIC0)); dev1 = wrap(hw:match(DMAMEM0)); end), client1 = Io.Vi.System_bus(function () dev0 = wrap(hw:match(NIC1)); dev1 = wrap(hw:match(DMAMEM1)); end) } === So dev0 = wrap(hw:match(NIC0)); seems to be wrong. In all the examples I fould the hid-string dev0 = wrap(hw:match("foodevice")) is always used. So three questions: 1) How can I use the device in the example if the hid is not unique? I even tried wrap(hw:device(NIC0)) but this does not work eiher. 2) How can I set the device name for client0/client1 into "foo.dev0" for dev0 as in the (old) example above? dev0.set_name("foo.dev0"); seems not to be the right one. 3) Is Io.mio_data_space(0x80000, 0x80000) the right replacement for "new-res Mmio_ram(0x80000, 0);" ? Best regards, Martin

2 7