l4-hackers April 2010

l4-hackers@os.inf.tu-dresden.de

10 participants
12 discussions

Re: Regd: L4 Reference and User manual
by kolabor＠freenet.de 29 Apr '10

29 Apr '10

Hi, after looking at the slides you pointed to (at http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en) the Fiasco for download isn't the one discussed in the slides, right ? So it seems that stuff discussed in your lectures are newer than that what is available for download, esp. the capability part. Also in your recent publications you are speaking about Fiasco.OC and L4Re and not about Fiasco 1.2 and/or L4Env. So what does this all mean ? They are related or is that completly new … [View More]

2 1

The system call about Periodic task
by Jungwoo Yang 28 Apr '10

28 Apr '10

I tried to use time periodic task designed by Udo. However, the process using the system call does not enter into periodic mode. So I tried to analyze kernel source code. During examining kernel source code, I found the wired point. line 584 in syscalls.cpp regs->old_param (dst->begin_periodic (regs->time(), 0)); I think that the parameter should be "Periodic" instead of 0. Because the point is for entering periodic mode and 0 means that conventional mode, I think 0 should be … [View More]

1 0

Regd: L4 Reference and User manual
by Karthik Vadambacheri Manian 28 Apr '10

28 Apr '10

Hi All, I am working on Fiasco compiled for AMD64 architecture. Can some one point which L4 reference manual to read? Also the user manual by Alan Au and Gernot Heiser seems to be old. Is it still valid? please let me know. Thanks for your time, karthik <l4-hackers(a)os.inf.tu-dresden.de>

2 1

L4 and ARM Cortex-A8 (OMAP3)
by Thomas DuBuisson 26 Apr '10

26 Apr '10

All, I'm wanting to experiment with L4 on a OMAP3 (beagleboard based) system but am having difficulting finding a suitable L4 microkernel. Does anyone on this list have comments/suggestions wrt which kernel to use, building, u-boot configuration, etc? Cheers, Thomas

2 2

Porting an MPI based appilcation on L4 feasible?
by Karthik Vadambacheri Manian 26 Apr '10

26 Apr '10

Hi All, I am new to L4 fiasco and microkernels in general. I could build the l4 fiasco microkernel and run the 'hello' application on top of l4. I also could run the hiworld client server application on l4 based on the available tutorials. Currently I have a pingpong simulation application which uses MPI and Time Warp libraries. For my research I would like to run this application on l4. Is porting it to l4 feasible? I also found a pinpong application in '../kernel/fiasco/src/test/pingpong'. … [View More]

3 3

the ipcmon compiling error
by Guanghui, Cheng 21 Apr '10

21 Apr '10

Hello: there is an error when compiling the ipcmon with ubuntu 9.10 with default gcc (Ubuntu 4.4.1-4ubuntu9) 4.4.1 as following: LD_PRELOAD=/home/cheng/work/L4_DEMO/tudos/build/tool/gendep/libgendep.so GENDEP_TARGET=ipcmon-server.o GENDEP_BINARY=cc1 gcc -m32 -c -DLOG_TAG=\"ipcmon\" -DUSE_UCLIBC=y -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I/home/cheng/work/L4_DEMO/tudos/build/pkg/ipcmon/idl/OBJ-x86-l4v2 -… [View More]I/home/cheng/work/L4_DEMO/tudos/build/include/x86/l4v2 -I/home/cheng/work/L4_DEMO/tudos/build/include/l4v2 -I/home/cheng/work/L4_DEMO/tudos/build/include/x86 -I/home/cheng/work/L4_DEMO/tudos/build/include -I/home/cheng/work/L4_DEMO/tudos/l4/../dice/include -I/home/cheng/work/L4_DEMO/tudos//include/x86/l4v2 -I/home/cheng/work/L4_DEMO/tudos//include/l4v2 -I/home/cheng/work/L4_DEMO/tudos//include/x86 -I/home/cheng/work/L4_DEMO/tudos//include -nostdinc -I/home/cheng/work/L4_DEMO/tudos/build/include/x86/uclibc -I/home/cheng/work/L4_DEMO/tudos/build/include/uclibc -I/home/cheng/work/L4_DEMO/tudos/build/include/uclibc++ -I/home/cheng/work/L4_DEMO/tudos//include/x86/uclibc -I/home/cheng/work/L4_DEMO/tudos//include/uclibc -I/home/cheng/work/L4_DEMO/tudos//include/uclibc++ -I/usr/lib/gcc/i486-linux-gnu/4.4.1/include -I/usr/lib/gcc/i486-linux-gnu/4.4.1/include-fixed -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -fno-common -fno-stack-protector -g /home/cheng/work/L4_DEMO/tudos/build/pkg/ipcmon/idl/OBJ-x86-l4v2/ipcmon-server.c -o ipcmon-server.o ==> Linking ipcmon LD_PRELOAD=/home/cheng/work/L4_DEMO/tudos/build/tool/gendep/libgendep.so GENDEP_TARGET=ipcmon GENDEP_BINARY=ld GENDEP_BINARY_ALT1=ld ld -m elf_i386 -o ipcmon /home/cheng/work/L4_DEMO/tudos/build/lib/x86_586/crt0.o components.o capdescriptor.o capmanager.o blacklist.o whitelist.o ipcmon-server.o -Ttext=0x1000000 --hash-style=sysv -L/home/cheng/work/L4_DEMO/tudos/build/lib/x86_586/l4v2 -L/home/cheng/work/L4_DEMO/tudos/build/lib/x86_586 -L/home/cheng/work/L4_DEMO/tudos/build/lib -L/home/cheng/work/L4_DEMO/tudos//lib/x86_586/l4v2 -L/home/cheng/work/L4_DEMO/tudos//lib/x86_586 -L/home/cheng/work/L4_DEMO/tudos//lib -T/home/cheng/work/L4_DEMO/tudos/build/lib/x86_586/main_stat.ld -lparsecmdline -static -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver_capsule -lnames -ll4util_root -ll4util -lsigma0 -lroot -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -luc_c++ -lc ++start.o /usr/lib/gcc/i486-linux-gnu/4.4.1/libsupc++.a -lmain -lcxx_base -nostdlib -luc_c -luclibc_support -u mmap_anon -lc_be_simple_mem -lc_be_mmap -lc_be_mmap_util -lc_be_l4env_start_stop -lc_be_minimal_log_io -luc_be_simple_sleep -ll4env -llogserver_capsule -ll4rm -ldm_generic -ldm_mem -lthread -lgeneric_ts -luc_c /usr/lib/gcc/i486-linux-gnu/4.4.1/libgcc_eh.a /usr/lib/gcc/i486-linux-gnu/4.4.1/libgcc.a -luc_c -ll4sys -ll4util -luc_be_minimal_io -Ttext=0x1000000 --warn-common -gc-sections /usr/lib/gcc/i486-linux-gnu/4.4.1/libsupc++.a(cp-demangle.o): In function `.L641': (.text+0x32e7): undefined reference to `__sprintf_chk' Thanks. Cheng Guanghui [View Less]

2 1

About Periodic Tasks
by Jungwoo Yang 21 Apr '10

21 Apr '10

Hello, I'm a student who are studying periodic task on L4, so I'm trying to use your cpu_reserved example. However, what I tried to use res_rt_sched or periodic. I've gotten some errors. title Fiasco Periodic Test kernel /bootstrap -serial -modaddr=0x06000000 module /fiasco -serial_esc -comport 1 module /sigma0 module /roottask task modname "cpu_reserved" allow_cli task modname "res_rt_sched" allow_cli module /events module /names --events module /log module /dm_phys module /cpu_reserved … [View More]

2 1

bug report and fixed in the dice compiling
by Guanghui, Cheng 19 Apr '10

19 Apr '10

Hello: In the ubuntu 9.10 with default bison version 2.4.1 the dice configure script failed to check the valid bison version: the old one: 20627 if test "(" "${1}" = "2" -a "(" "${2}" = "1a" -o "${2}" = "1b" -o "${2}" = "2" -o "${2}" = "3" ")" ")"; then 20628 dice_bison_version="${1}.${2} (ok)" 20629 else 20630 dice_bison_version=invalid 20631 fi this verification is only available for bison version 2.1a, 2.2 and 2.3. it will be invalid in the bison 2.4 and later. the new one: … [View More]

3 2

Post Bison version fix error
by Harish G. Naik 18 Apr '10

18 Apr '10

So I was advised to download bison 2.3 and install it and use it instead of the system default 2.4.1. I did that and I now get a different, much shorter: c-scanner.ll: In function ‘yy::c_parser::token::yytokentype clex(yy::c_parser::semantic_type*, yy::location*, c_parser_driver&)’: c-scanner.ll:523: error: ‘strlen’ was not declared in this scope make[6]: *** [c-scanner.o] Error 1 make[5]: *** [all-recursive] Error 1 make[4]: *** [all-recursive] Error 1 make[3]: *** [all-recursive] Error 1 … [View More]

2 3

Re: pci_set_master in dde linux26
by Björn Döbel 07 Apr '10

07 Apr '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, > On 10-4-7 下午4:30, Björn Döbel wrote: >> -----BEGIN PGP SIGNED MESSAGE----- >> Hash: SHA1 >> >> Hi, >> >>> We tried to run the e100 driver with the hurd porting of dde linux26, but got >>> one problem, i.e., pci_set_master() hasn't been implemented. In >>> linux26/lib/src/arch/l4/pci.c, >>> void pci_set_master(struct pci_dev *dev) >>> { >>> CHECK_INITVAR(… [View More]

2 4

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers April 2010