- l4-hackers - example.com Site

Can you check this patch file(imx6q-fec.patch) ?
by Taeung 20 May '14

20 May '14

Hello, l4 hackers :-) To secure Ethernet on L4 Linux, I've modified source code with yeongchann and we succeeded to obtain Ethernet. we've used 'l4re-snapshot-2014022818' and Freescale i.MX6 Quad SABRE SD board (ARMv7a) I don't know whether this patch can contribute l4 project. But can you check 'imx6q-fec.patch' ? Attached patch is 1. to change UART2 to UART1 for imx6q sabresd (learned by Ahmed Ammar) and 2. to fix compile error(fiasco and l4linux) , 3. to modify source related to FEC ethernet. To put it concretely... ===== About UART for imx6q sabresd ===== (learned by Ahmed Ammar) *1) mem_layout-arm-imx.cpp* (src/kernel/fiasco/src/kern/arm/bsp/imx/mem_layout-arm-imx.cpp) * 2) uart-imx.cpp* (src/kernel/fiasco/src/kern/arm/bsp/imx/uart-imx.cpp) * 3) imx.cc* (src/l4/pkg/bootstrap/server/src/platform/imx.cc) ============================== ===== About compile error ===== *1) tb_entry_output.cc* (src/kernel/fiasco/src/kern/tb_entry_output.cc) *2) Kconfig* (src/l4linux/arch/l4/Kconfig) ======================= ** ===== For FEC ethernet ======* **1) mach_setup.c* (src/l4linux/arch/l4/kernel/arch-arm/mach_setup.c) * **2) fec.h* (src/l4linux/drivers/net/ethernet/freescale/fec.h) *3) fec_main.c* (src/l4linux/drivers/net/ethernet/freescale/fec_main.c) *4) fec_ptp.c* (src/l4linux/drivers/net/ethernet/freescale/fec_ptp.c) *5) Kconfig* (src/l4linux/drivers/net/ethernet/freescale/Kconfig) ====================== ===== For access HW on L4Linux ===== *1) imx6q.io* (src/l4/conf/examples/imx6q.io) *2) l4lx-imx6q.cfg* (src/l4/conf/examples/l4lx-imx6q.cfg) * **3) modules.list* (src/l4/conf/modules.list) =========================== I hope this is of some help to someone. - Taeung -

1 0

Fwd: Re: cannot find -lld-l4
by ba_f 18 May '14

18 May '14

Hello Hackers, Am 2014-05-14 11:23, schrieb Matthias Lange: >> /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 > > Have you successfully build the 'ldso' package? libld-l4.so is provided > by > this package. > > Matthias. Yes, the lib seems to be there: obj/l4/arm-ca/lib/arm_armv7a/l4f/libld-l4.so obj/l4/arm-ca/pkg/ldso/ldso/OBJ-arm_armv7a-l4f/libld-l4.so obj/l4/arm-ca/config/have/ldso.h obj/l4/arm-ca/pc/ldso.pc obj/l4/arm-ca/pkg/ldso/ldso/OBJ-arm_armv7a-l4f/.ldso.s.o.d objl4/arm-ca/pkg/ldso/ldso/OBJ-arm_armv7a-l4f/ldso.s.o I also checked the 2> output from the snapshot build process, which shows a lot of Warnings, but no Error. Am 2014-05-15 01:04, schrieb Adam Lackorzynski: > Are you trying to build a program using shared libraries? Mind to share > your Makefile? Actually, i try to include libssl.a which Ivan Loskutov ported to L4re. http://os.inf.tu-dresden.de/pipermail/l4-hackers/2012/005141.html >> BTW before that missing lib error, i get a lot of "multiple definition >> of...". > > Could you show some examples of those errors please? > > Adam ./tpm_integrity.o: In function `TPM_Extend': /home/ba_f/vTPM/server/src/tpm_integrity.c:39: multiple definition of `tpm_log' ./tpm_cmd_handler.o:/home/ba_f/vTPM/server/src/tpm_marshalling.h:102: first defined here ./tpm_startup.o: In function `TPM_Startup': /home/ba_f/vTPM/server/src/tpm_startup.c:43: multiple definition of `tpm_read_from_storage' ./tpm_cmd_handler.o:/home/ba_f/vTPM/server/src/tpm_marshalling.h:103: first defined here But these warning/error must come from the build-process, because the code has already been compiled for ARM linux without any Warnings. l4re-snapshot-2014022818 Greets, ba_f

2 1

Doing simple I/O in clntsrv example
by Valentin Hauner 17 May '14

17 May '14

Hi! I'm having some trouble with doing simple I/O actions in the clntsrv example (/src/l4/pkg/examples/clntsrv). I want the client to enter minuend and subtrahend himself, so I've added the following code to client.cc: > printf("Please enter minuend and subtrahend: \n"); > l4_uint32_t val1, val2; > std::cin >> val1 >> val2; iostream is included at the beginning of the file. However, the linker has some serious problems: > ==> Linking ex_clntsrv-client > client.o: In function `main': > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::cin' > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::istream::operator>>(int&)' > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::istream::operator>>(int&)' > client.o: In function `__static_initialization_and_destruction_0': > /home/hnr/l4reb/include/contrib/libstdc++-v3/iostream:72: undefined reference to `std::ios_base::Init::Init()' > /home/hnr/l4reb/include/contrib/libstdc++-v3/iostream:72: undefined reference to `std::ios_base::Init::~Init()' > make[1]: *** [ex_clntsrv-client] Error 1 > make: *** [/home/hnr/l4reb/pkg/examples/clntsrv/OBJ-x86_586-l4f] Error 2 I did not change the Makefile, so g++ is used for compiling (and not gcc). I've added > CXX_FLAGS = -lstdc++ but that doesn't help. I'm using update-alternatives to have different versions of g++ installed simultaneously. Currently, the link points to g++-4.7. But using g++-4.4 does not solve the problem either. Thanks in advance for support!

3 2

how to get current cpu id
by Yuxin Ren 15 May '14

15 May '14

How can I get the id of cpu(core) the current thread is running on? Thank you

3 3

OKL4 vs L4::Pistachio
by Taylor Bioniks 15 May '14

15 May '14

How does OKL4 compare with L4::Pistachio as far as speed, security, responsiveness? L4::Pistachio uses kickstart to load it, the core kernel is contained in kernel, and the physical memory manager is stored in sigma0, I'm not even sure if it has a virtual memory manager. Does OKL4 have a built in memory manager, and does it handle virtual memory? Thank you.

3 3

Question about dataspace
by Yuxin Ren 15 May '14

15 May '14

I cannot understand dataspace very well. I have some questions about it. Each time I want to alloc a piece of memory, I must create a dataspace first? I look at the example code of memory allocation. I found after create adataspace, we call L4Re::Env::env<http://l4re.org/doc/classL4Re_1_1Env.html#aa1181d6256037deda5b5f83c2006ba60>()->mem_alloc()->alloc() to alloca memory via dataspace. Can I call this function multiple times on the same dataspace instance without free? If so, what is its effect? In addtion we use attach to map the dataspace. Can I attach the same dataspace multiple times without free? In this case, does it mean that the same physical memory is mapped into different virtual address?

2 5

Porting Fiasco+L4re to DaVinci DA850 - prefetch abort in sigma0
by Peter Howard 14 May '14

14 May '14

Dear all, I'm trying to port Fiasco to the DA850. I'm basing this on the 2014022818 snapshot. I've gotten to the point where I've modified the configuration for both fiasco and l4re, added the BSP and bootstrap platform files, and added the extra drivers I need to get started. I can build an image to load on the machine and it boots through the kernel fine. Then it tries to run sigma0 and gets a prefetch abort: EXCEPTION: prefetch abort pfa=c0090100, error=0033000d R[0]: c0002000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 R[8]: 00000000 00000000 00000000 00000000 00000000 c1013de4 04080124 c0090100 (note, I'm including the full boot output at the end of the email) The address, c0090100, is correct as the entry point for sigma0. Now, if I'm reading the FSR right, that's indicating a permission error on the section. But nothing I've added/changed has anything to do with the MMU/mapping. As far as I can see, that's all straight armv5 code, with nothing special to the board (which uses an arm926ejs core). So any idea why sigma0 would be getting mappings with the wrong permission? ------ Full output from boot: U-Boot > bootm 0xc0700000 ## Booting kernel from Legacy Image at c0700000 ... Image Name: L4 Image #2 Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 860160 Bytes = 840 KiB Load Address: c1000000 Entry Point: c1000000 Verifying Checksum ... OK Loading Kernel Image ... OK OK Starting kernel ... L4 Bootstrapper Build: #2 Tue May 13 14:38:28 EST 2014, 4.7.3 Scanning up to 32 MB RAM Memory size is 32MB (c0000000 - c1ffffff) RAM: 00000000c0000000 - 00000000c1ffffff: 32768kB Total RAM: 32MB mod04: c10b8000-c10d1574: hello mod03: c109e000-c10b7454: l4re mod02: c106c000-c109d620: moe mod01: c1062000-c106b338: sigma0 mod00: c1015000-c1061380: fiasco Moving up to 5 modules behind c1100000 moving module 00 { c1015000-c106137f } -> { c11bd000-c120937f } [312192] moving module 01 { c1062000-c106b337 } -> { c120a000-c1213337 } [37688] moving module 02 { c106c000-c109d61f } -> { c1214000-c124561f } [202272] moving module 03 { c109e000-c10b7453 } -> { c1100000-c1119453 } [103508] moving module 04 { c10b8000-c10d1573 } -> { c111a000-c1133573 } [103796] Scanning fiasco -serial_esc Scanning sigma0 Scanning moe --init=rom/hello Relocated mbi to [0xc100e000-0xc100e0e2] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0xc0002000 Regions of list 'regions' [ c0001000, c0001a3f] { a40} Kern fiasco [ c0002000, c005afff] { 59000} Kern fiasco [ c0090000, c00965bb] { 65bc} Sigma0 sigma0 [ c0098000, c009e17b] { 617c} Sigma0 sigma0 [ c0140000, c016cb87] { 2cb88} Root moe [ c0170000, c0186f0f] { 16f10} Root moe [ c1000000, c10143f3] { 143f4} Boot bootstrap [ c100a000, c100a0a6] { a7} Boot mbi [ c100e000, c100e1df] { 1e0} Root Multiboot info [ c1014048, c101409f] { 58} Boot mbi [ c1100000, c1133573] { 33574} Root Module API Version: (87) experimental Sigma0 config ip:c0090100 sp:c1013de4 Roottask config ip:c0140260 sp:00000000 Starting kernel fiasco at c0001208 Hello from Startup::stage2 Cache config: ON Timer::Timer() SERIAL ESC: allocated IRQ 61 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden Rev: rUnversioned directory compiled with gcc 4.7.3 for Davinci DA850 [] Build: #1 Tue May 13 14:33:35 EST 2014 Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 EXCEPTION: prefetch abort pfa=c0090100, error=0033000d R[0]: c0002000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 R[8]: 00000000 00000000 00000000 00000000 00000000 c1013de4 04080124 c0090100 KERNEL: Warning: Sigma0 raised an exception --> HALT Panic: ... Return reboots, "k" enters L4 kernel debugger... -- Peter Howard <pjh(a)northern-ridge.com.au>

2 2

Facing l4x-evict_task problem in L4Linux
by Irvanda Kurniadi 10 May '14

10 May '14

Hi hackers, I want to ask you about my problem in running mpi-program over L4Linux. I'm usinng ubuntu 12.04 kernel with gnu libc-2.15. I put the library from /lib/i386-linux-gnu/ to /lib in my custom ramdisk. Then I put the library that is compiled in the kernel's host to the /usr/lib in my custom ramdisk. I also put my mpi hello program and my own mpi program which are compiled in the kernel's host (I mean in ubuntu 12.04 with libc-2.15). I'm using MPICH3 for the mpi library and I use gforker process manager. When I run the mpi Hello program, it can run properly (I invoke "mpiexec -n 4 ./mpi_hello and there are 4 output from different 4 different processor, it means the program run properly). Then I run my own mpi application which also include the tiff, jpeg, amd libstep libraries that I put altogether in /usr/lib/ in my custom ramdisk. But I got this error message when I invoke "mpiexec -n 1 ./mpi_program image.tif" or "mpiexec -n 2 ./mpi_program image.tif" command (shown below). l4x-evict_tasks: 1089 callbacks suppressed l4x-evict: Found no process to free l4x-evict: Found no process to free l4x-evict: Found no process to free INFO: rcu_sched detected stalls on CPUs/tasks: { 1} (detected by 0, t=348877 jiffies, g=4294967184, c=4294967183, q=(5) sending NMI to all cpus: and I can't interrupt the running process. I presume this problem happens because the all of process have been finalized but the l4linux kernel still think that there is a remaining process that should be freed. But I'm not sure about this. If you know about this, plis let me know how to fix it and if you can give me an explanation about this I will be really grateful. Thanks, Irvanda

2 1

Re: How to talk to a specific thread in a server
by Björn Döbel 09 May '14

09 May '14

Could you share your client and server's code? Bjoern Am 08.05.2014 21:02, schrieb Yuxin Ren: > Year, > I did those thing. Each server tread has its own server obj and register > server instance, and it calls register_obj() and server.loop() on their own. > But this does not work. And actually the master thread in server always > receives all requests. When I let the master thread to spin, the server > cannot > receive any request, even though other threads in server block on the > server.loop() function. > I am really confused about it. > > Thank you. > > > On Thu, May 8, 2014 at 12:22 PM, Björn Döbel <doebel(a)os.inf.tu-dresden.de>wrote: > > Am Do 08 Mai 2014 18:17:54 CEST schrieb Yuxin Ren: >>>> HiThank you very much for your reply.I did what you said, but the > behavior is very confusing.I create two channels in lua script, and > correspond each channel to a pair of client and server threads. >>>> In the server side, each thread registers its own server obj to its > own Registry_server, and of course they have different dispatch > functions.Now the result is only one server thread receive all requests > from client, and it selects different dispatch function to run based on the > request. >>>> But I want different threads to run different dispatch function, not > only one server thread process all requests using different dispatch > functions.Do you have any ideas about this?Thank you. >>>> On Thu, May 8, 2014 at 2:07 AM, Björn Döbel <doebel(a)os.inf.tu-dresden.de> > wrote: >>>> >>>> ********* *ANFANG des verschlüsselten oder unterschriebenen Bereichs* > ********* >>>> >>>> Hi, >>>> >>>> On 08.05.2014 03:29, Yuxin Ren wrote: >>>>> I have one client and one server talking to each other, and both of >>>>> them have 2 threads. I want thread 1 in client only talk to thread >>>>> 1 in server, and thread 2 in client only talk to thread 2 in >>>>> server. How can I achieve this? >>>> >>>> The simple client/server example >>>> (http://wiki.tudos.org/L4Re_simple_client_server_example) shows how to >>>> connect a single thread in each process (or task in L4 speak). You >>>> could extend this example to create two channels in the Lua setup >>>> file, pass both channels to the tasks during startup and then let each >>>> thread use one of them for communication with its counterpart. >>>> >>>> Note that does not completely enforce your requirement that each >>>> thread can only talk to exactly one other. Capabilities (e.g., for the >>>> communication channels) are shared per task and technically each >>>> thread could therefore send messages on each channel. If you want >>>> strict isolation, you have to separate the threads into separate tasks. >>>> >>>> Bjoern >>>> >>>> >>>> ********* *ENDE des verschlüsselten oder unterschriebenen Bereichs* > ********* >>>> >>>> _______________________________________________ >>>> l4-hackers mailing list >>>> l4-hackers(a)os.inf.tu-dresden.de >>>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >>>> >>>> >>>> >>>> > > Quick guess: your separate threads need to call the register_obj() > function and the server.loop() functions on their own. (You also need > two independent instances of the Server_object.) > > Bjoern >> >> >

2 1

How to talk to a specific thread in a server
by Yuxin Ren 08 May '14

08 May '14

I have one client and one server talking to each other, and both of them have 2 threads. I want thread 1 in client only talk to thread 1 in server, and thread 2 in client only talk to thread 2 in server. How can I achieve this? Thanks

2 3