l4-hackers August 2006

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

27 participants
37 discussions

L4Linux with serial console / IRQ usage
by Andreas Niederl 24 Aug '06

24 Aug '06

Hi, I have been trying to get a serial console on L4Linux with the stub drivers and encountered the message 'l4ser: vkey_irq not set - input disabled!'. Unfortunately I don't know which IRQ number is required here. I tried passing some different values to L4Linux which resulted in the error message 'irq_thread: RMGR denied IRQ 4: Code 0x1'. I'd be grateful for some hints on that. I also noticed that there are several different ways for handling IRQs (omega0, rmgr, l4io, ...) which require different options for some servers and L4Linux. Are there any documents describing the IRQ handling in L4Env and how to follow one of these ways consistently? /boot/grub/menu.lst: title L4Linux-2.6 kernel /boot/bootstrap -serial modaddr 0x02000000 module /boot/bin/fiasco -nowait -nokdb -serial -serial_esc -comport 1 module /boot/bin/sigma0 module /boot/bin/roottask task modname "bmodfs" attached 5 modules module /boot/bin/names module /boot/bin/log module /boot/bin/dm_phys module /boot/bin/simple_ts -t 300 module /boot/bin/rtc module /boot/bin/l4io --noirq module /boot/bin/tftp -i module /boot/bin/bmodfs module /boot/bin/libld-l4.s.so module /boot/bin/libloader.s.so module /boot/bin/run-script module /boot/bin/vmlinuz26 module /boot/bin/drops-rd.rd module /boot/bin/loader --fprov=BMODFS run-script /boot/bin/run-script: modpath "/boot/bin" sleep 2 task "vmlinuz26" "mem=64M load_ramdisk=1 ramdisk_size=17000 root=/dev/ram l4env_rd=/boot/bin/drops-rd.rd console=ttyLv0 l4ser.vkey_irq=4" priority 0xA0 all_sects_writable Regards, Andi

3 15

No keyboard with L4Linux
by FERANDELLE Pascal 23 Aug '06

23 Aug '06

I boot L4Linux-2.6 on Fiasco, using l4con on a graphical console, and the drops ramdisk. Everything boots well, and I obtain the "dropsbox login:", but, unfortunately, I have no keyboard entry ... In the previous kernel messages, there is one saying : i8042.c: Can't read CTR while initializing i8042 Can it be related to my problem ? Thanks Pascal

2 1

Re: Booting L4Linux/Fiasco with root=/dev/hda
by Bjoern Doebel 23 Aug '06

23 Aug '06

1 0

Booting L4Linux/Fiasco with root=/dev/hda
by FERANDELLE Pascal 23 Aug '06

23 Aug '06

I try to boot L4Linux (kernel 2.6.17) on Fiasco, on a PC which has already RedHat Enterprise Linux 4.0 installed, with root=/dev/hda3. The Linux kernel begins to boot, but after the messages : ... kjournald starting. Commit interval 5 seconds EXT3 FS on hda3, internal journal EXT3-fs: mounted filesystem with ordered data mode VFS: Mounted root (ext3 filesystem) Warning: unable to open an initial console Nothing else appears on the screen, but I can see the station is still alive, because the disk led is still highlightening frequently, then everything stops, and I have the message "Restarting system" on the screen. Nothing else happens ... Any idea, first for the opening problem of the console, and then, about what can happen after that, would be nice !!! Thanks Pascal PS : here is my grub.conf file and my linux26.cfg file --- grub.conf --- title L4_Linux 2.6 root (hd0,0) kernel /l4_linux/bootstrap vbeset 0x117 modaddr 0x06000000 module /l4_linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /l4_linux/sigma0 module /l4_linux/roottask task modname "bmodfs" attached 4 modules module /l4_linux/events module /l4_linux/names -events module /l4_linux/log module /l4_linux/dm_phys --isa=0x00800000 -v --events module /l4_linux/simple_ts -t 300 --events module /l4_linux/rtc --events module /l4_linux/l4io -noirq --events # module /l4_linux/l4exec --events module /l4_linux/con -l4io --events # module /l4_linux/l4dope -l4io --events module /l4_linux/bmodfs --events module /l4_linux/libld-l4.s.so module /l4_linux/libloader.s.so module /l4_linux/linux26.cfg module /l4_linux/vmlinuz26 module /l4_linux/loader --fprov=BMODFS linux26.cfg --- linux26.cfg --- modpath "(hd0,0)/l4_linux" task "vmlinuz26" "earlyprintk=yes mem=64M video=l4fb root=/dev/hda3" all_sects_writable

1 0

Where is the definition of hi_server_loop() function?
by chenggh 23 Aug '06

23 Aug '06

Hi, Everyone: Now I am reading the document of Building Infrastructures for DROPS Tutorial. And in the server side the code is like this: #include <stdio.h> #include <l4/names/libnames.h> #include "hiworld-server.h" char LOG_tag[9]="hiserver"; static int count; void hi_print_component(CORBA_Object _dice_corba_obj, CORBA_Environment *_dice_corba_env){ printf("Hi world\n"); count++; } int hi_count_component(CORBA_Object _dice_corba_obj, CORBA_Environment *_dice_corba_env){ return count; } int main(void){ if(names_register("hiworld")==0){ printf("Error registering at nameserver\n"); return 1; } hi_server_loop(0); } In the main routine there is function named hi_server_loop. But I don't where is the function definition. i checked the hiworld-server.h and there is no definition. ths chenggh

2 1

Problem of l4lx_thread kmalloc
by 강후영 22 Aug '06

22 Aug '06

Hi, I created l4lx_threads by "l4lx_thread_create()". But when these threads alloccate some memory by kmalloc(), fault error always occurs as fallow, l4lx | L4RM: [PF] read at 0x999999b0, eip 0042e30a, src E.0B l4lx | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault What is the problem? Is there some size limitation of kmalloc for thease threads? I tried to allocate a few KBs. Best regards

2 1

L4 bug report
by chenggh 21 Aug '06

21 Aug '06

hi, everyone: Today I use ubuntu 6.06 to compile the l4. There are some error messages like this: make[2]: Entering directory `/home/fiasco/L4/l4/tool/gcc-wrap' ... Building .general.d make[2]: Leaving directory `/home/fiasco/L4/l4/tool/gcc-wrap' make[2]: Entering directory `/home/fiasco/L4/l4/tool/gcc-wrap' ... Generating drops-ar.Linux sed '\ s,@system@,Linux,g;\ s,@ar@,ar,g;\ s,@nm@,nm,g;\ s,@ranlib@,ranlib,g;\ s,@cc@,gcc,g;\ s,@cxx@,g++,g;\ s,@l4dir@,,g;\ s,@dropsdir@,/home/fiasco/L4/,g;\ s,@compilerincdir@,/usr/lib/gcc/i486-linux-gnu/3.4.6/include,g;\ s,@libgcc@,/usr/lib/gcc/i486-linux-gnu/3.4.6/libgcc.a,g;\ s,@libgcc_eh@,/usr/lib/gcc/i486-linux-gnu/3.4.6/libgcc_eh.a,g;\ s,@default_system@,x86_586-l4v2,g;\ s,@default_arch@,x86,g;\ s,@default_cpu@,586,g;\ s,@default_l4api@,l4v2,g; \ ' drops-ar.in > drops-ar.Linux.new sed: -e expression #1, char 452: unterminated address regex make[2]: *** [drops-ar.Linux] Error 1 make[2]: Leaving directory `/home/fiasco/L4/l4/tool/gcc-wrap' make[1]: *** [gcc-wrap] Error 2 make[1]: Leaving directory `/home/fiasco/L4/l4/tool' make: *** [tool] Error 2 I doubted that it is sed version's problem. In ubuntu 6.06 the sed is NU sed version 4.1.4. chenggh

2 2

l4linux-2.6 does not build
by Stefan Scheler 19 Aug '06

19 Aug '06

Hello, current cvs version of l4linux does not build (please see attached log). Resolving this by putting the headers manually in the right place gives more errors like that. There must be something broken in the build process. Thanks for help. Stefan Creating asm-l4/api-l4env -> asm/api symlink Creating asm-l4/l4lxapi/impl symlink Creating asm-l4/l4x-i386 -> asm/l4x symlink Creating asm-l4/l4-arch/asm symlink Creating asm-l4/i386-arch/asm symlink CHK include/linux/version.h UPD include/linux/version.h SYMLINK include/asm -> include/asm-l4 SPLIT include/linux/autoconf.h -> include/config/* CC arch/l4/kernel/asm-offsets.s In file included from include/asm-l4/l4-arch/asm/processor.h:12, from include/asm-l4/i386-arch/asm/thread_info.h:17, from include/linux/thread_info.h:21, from include/linux/preempt.h:10, from include/linux/spinlock.h:50, from include/linux/capability.h:45, from include/linux/sched.h:7, from arch/l4/kernel/asm-offsets.c:8: include/asm-l4/l4-arch/asm/segment.h:8:28: l4/sys/segment.h: No such file or directory In file included from include/asm-l4/i386-arch/asm/thread_info.h:17, from include/linux/thread_info.h:21, from include/linux/preempt.h:10, from include/linux/spinlock.h:50, from include/linux/capability.h:45, from include/linux/sched.h:7, from arch/l4/kernel/asm-offsets.c:8: include/asm-l4/l4-arch/asm/processor.h:25:26: l4/sys/types.h: No such file or directory In file included from include/asm-l4/i386-arch/asm/thread_info.h:17, from include/linux/thread_info.h:21, from include/linux/preempt.h:10, from include/linux/spinlock.h:50, from include/linux/capability.h:45, from include/linux/sched.h:7, from arch/l4/kernel/asm-offsets.c:8: include/asm-l4/l4-arch/asm/processor.h:407: error: syntax error before "l4_threadid_t" include/asm-l4/l4-arch/asm/processor.h:407: warning: no semicolon at end of struct or union include/asm-l4/l4-arch/asm/processor.h:408: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:409: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:410: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:411: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:412: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:413: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:414: error: syntax error before ':' token include/asm-l4/l4-arch/asm/processor.h:426: error: syntax error before '}' token In file included from arch/l4/kernel/asm-offsets.c:8: include/linux/sched.h:804: error: field `thread' has incomplete type In file included from include/asm-l4/l4-arch/asm/suspend.h:6, from include/linux/suspend.h:5, from arch/l4/kernel/asm-offsets.c:11: include/asm-l4/l4-arch/asm/desc.h: In function `write_ldt_entry': include/asm-l4/l4-arch/asm/desc.h:116: warning: implicit declaration of function `fiasco_ldt_set' include/asm-l4/l4-arch/asm/desc.h: In function `load_TLS': include/asm-l4/l4-arch/asm/desc.h:130: warning: implicit declaration of function `fiasco_gdt_set' include/asm-l4/l4-arch/asm/desc.h:130: error: dereferencing pointer to incomplete type include/asm-l4/l4-arch/asm/desc.h:130: error: dereferencing pointer to incomplete type make[1]: *** [arch/l4/kernel/asm-offsets.s] Error 1 make: *** [prepare0] Error 2

3 3

build problems with dice
by chenggh 17 Aug '06

17 Aug '06

hi: when I try to compile the dice, there are some errors like this: /home/chenggh/L4/l4/tool/dice/src/CDCEParser.cpp:264: undefined reference to `dce_flex_debug' CCORBAParser.o: In function `CCORBAParser::Import(std::basic_string<char, std::char_traits<char>, std::allocator<char> >)': /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:93: undefined reference to `GetCurrentBufferCorba()' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:154: undefined reference to `RestoreBufferCorba(void*, bool)' CCORBAParser.o: In function `CCORBAParser::Parse(void*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >, int, bool, bool)': /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:231: undefined reference to `corba_flex_debug' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:245: undefined reference to `RestoreBufferCorba(void*, bool)' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:257: undefined reference to `GetCurrentBufferCorba()' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:241: undefined reference to `corbain' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:242: undefined reference to `StartBufferCorba(_IO_FILE*)' /home/chenggh/L4/l4/tool/dice/src/CCORBAParser.cpp:236: undefined reference to `corba_flex_debug' CPreProcess.o: In function `CPreProcess::PreProcess(std::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, bool)': /home/chenggh/L4/l4/tool/dice/src/CPreProcess.cpp:343: undefined reference to `incin' /home/chenggh/L4/l4/tool/dice/src/CPreProcess.cpp:344: undefined reference to `incout' /home/chenggh/L4/l4/tool/dice/src/CPreProcess.cpp:348: undefined reference to `inclex()' ./src/parser/dce/libdce.a(parser.o): In function `dceparse()': /home/chenggh/L4/l4/tool/dice/src/parser/dce/parser.yy:3577: undefined reference to `dcelex(yystype*)' ./src/parser/dce/libdce.a(parser.o): In function `dceparse()': /usr/share/bison/bison.simple:574: undefined reference to `dcelex(yystype*)' ./src/parser/corba/libcorba.a(parser.o): In function `corbaparse()': /usr/share/bison/bison.simple:574: undefined reference to `corbalex(yystype*)' ./src/parser/gcc-c/libg I checked the old mailist again. Somebody else encountered the same problem with me. I use g++3.3.6 and bison 1.35. My host OS is ubuntu 5.10. How to fix it? thank you chenggh

2 1

L4Linux-2.6.17 on Fiasco
by FERANDELLE Pascal 12 Aug '06

12 Aug '06

Hi, I try to run L4Linux-2.6.17 on Fiasco, on native PC, and I have problems. As I got the following error : ... l4lx | Filling lower ptabs l4lx | Done (1643 entries) l4lx | l4lx_thread_create: Created thread 0e.05 (timer.i0) DMphys | ds 36, client E.00, rights 0x0003, has 0x0001 DMphys | [8.0] dm_phys/server/src/map.c:620:if_l4dm_generic_fault_component(): DMphys | DMphys: bad permissions l4lx | L4RM: dataspace at 0x00400000-0x00614fff, id 36 at 8.00 l4lx | L4RM: dataspace manager call failed ("permission denied") l4lx | L4RM: [PF] write at 0x004025ec, ip 0040b53c, src E.02 l4lx | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault after looking at the mailing list, it seems the "Use ldso for loading" option has to be configured for L4Linux. I did so, but now, the load stops with the following messages : loader | vmlinuz26 : Starting application using libld-l4.s.so loader | vmlinuz26,#e : Loading binary loader | vmlinuz26,#e : Loading ldso loader | vmlinuz26,#e : Starting libld-l4.s.so at 00013870 via 0000bf60 then messages from io about PCI configuration, and go to jdb with message : (e.00) jdb: --__main() returned My grub.conf file is as following : title L4_Linux 2.6 root (hd0,0) kernel /l4_linux/bootstrap modaddr 0x06000000 module /l4_linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /l4_linux/sigma0 module /l4_linux/roottask task modname "bmodfs" attached 4 modules module /l4_linux/events module /l4_linux/names -events module /l4_linux/log module /l4_linux/dm_phys --isa=0x00800000 -v --events module /l4_linux/simple_ts -t 300 --events module /l4_linux/l4io -noirq --events module /l4_linux/l4exec --events # module /l4_linux/con -l4io -cpuload --events module /l4_linux/bmodfs --events module /l4_linux/libld-l4.s.so module /l4_linux/libloader.s.so module /l4_linux/linux26.cfg module /l4_linux/vmlinuz26 module /l4_linux/loader --fprov=BMODFS linux26.cfg and my linux26.cfg file : modpath "(hd0,0)/l4_linux" task "vmlinuz26" "earlyprintk=yes mem=64M root=/dev/hda3" all_sects_writable Any help would be great !!! Thanks Pascal

2 1

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 August 2006