l4-hackers

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

2827 discussions

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

Re: current_thread_info
by Oskar Senft 12 Aug '06

12 Aug '06

Hi! >>> You need to call l4x_prepare_irq_thread(current_thread_info()) in your >>> thread before doing anything serious in there. >> Ok, sounds good. Unfortunately I cannot find it in my snapshot (May >> 5th, 2006) - since when should it have been in? > > l4x_setup_ti_thread_stack_irq(current_thread_info()) Great, thank you! That solved my problem. Could you please add the necessary line EXPORT_SYMBOL(l4x_setup_ti_thread_stack_irq); in arch/l4/kernel/main.c ? Best regards Oskar. -- Sirrix AG security technologies - http://www.sirrix.com Oskar Senft eMail: o.senft(a)sirrix.com Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 519 get public key from keyserver Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4 This message may contain confidential and/or privileged information. If you are not the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message.

2 1

Jump to page:

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