- l4-hackers - example.com Site

RE: problem with run-l4
by Jayesh Salvi 23 Feb '05

23 Feb '05

Twiddler doesn't compile. How do I get bfd.h and dis-asm.h ? Didn't find them in l4 source. Thenks Jayesh > > There's a little trick involved here. Such binaries need to be modified > for 2.6, use the tool in l4/tool/twiddler for that. > >

2 1

Problem: Running L4Linux under Fiasco-UX
by Stefan Kalkowski 23 Feb '05

23 Feb '05

Hi, i try to test L4Linux using Fiasco-UX. I'm using the script lx in l4/tool/runux and everything runs fine except when the kerneltask gets started. I get an unhanled trap with trapnumber 13. I don't know what that number means. here is my output: ./lx con /daten/fiasco/l4/kernel/fiasco/build/fiasco -m 256 -symbols /daten/fiasco/l4/kernel/fiasco/build/Symbols -lines /daten/fiasco/l4/kernel/fiasco/build/Lines -rmgr /daten/fiasco/l4/bin/x86_586/l4v2/rmgr-ux -symbols -lines task modname "L4Linux task" -sigma0 /daten/fiasco/l4/bin/x86_586/l4v2/sigma0-ux -fb_program /daten/fiasco/l4/kernel/fiasco/build/ux_con -irq0 /daten/fiasco/l4/kernel/fiasco/build/irq0 -t 32768 -G 640x480@16 -l /daten/fiasco/l4/bin/x86_586/l4v2/names -l /daten/fiasco/l4/bin/x86_586/l4v2/log -l /daten/fiasco/l4/bin/x86_586/l4v2/dm_phys -l /daten/fiasco/l4/bin/x86_586/l4v2/simple_ts -l /daten/fiasco/l4/bin/x86_586/l4v2/fuxfprov -n9 -l /daten/fiasco/l4/bin/x86_586/l4v2/rtc-ux -n10 -l /daten/fiasco/l4/bin/x86_586/l4v2/l4exec -l /daten/fiasco/l4/bin/x86_586/l4v2/con-ux -n12 -l /daten/fiasco/l4/bin/x86_586/l4v2/loader /daten/fiasco/l4/bin/x86_586/l4v2/run /daten/fiasco/l4/cfg/l4linux26.ux Fiasco-UX on Linux 2.6.8 (i686) Native Syscall Map: 0x1600 Mapped 256 MB Memory + 4096 KB Framebuffer + 4 MB Input Area on FD 3 Loading Module 0x00090000-0x00094e00 [/daten/fiasco/l4/bin/x86_586/l4v2/sigma0-ux] Loading Module 0x00100000-0x001c72c0 [/daten/fiasco/l4/bin/x86_586/l4v2/rmgr-ux] Copying Module 0x0ea66000-0x0ea8419f [/daten/fiasco/l4/kernel/fiasco/build/Symbols] Copying Module 0x0ea39000-0x0ea65d46 [/daten/fiasco/l4/kernel/fiasco/build/Lines] Copying Module 0x0ea2f000-0x0ea38174 [/daten/fiasco/l4/bin/x86_586/l4v2/names] Copying Module 0x0ea24000-0x0ea2e174 [/daten/fiasco/l4/bin/x86_586/l4v2/log] Copying Module 0x0ea0e000-0x0ea23174 [/daten/fiasco/l4/bin/x86_586/l4v2/dm_phys] Copying Module 0x0ea02000-0x0ea0d174 [/daten/fiasco/l4/bin/x86_586/l4v2/simple_ts] Copying Module 0x0e9dd000-0x0ea01174 [/daten/fiasco/l4/bin/x86_586/l4v2/fuxfprov] Copying Module 0x0e9d5000-0x0e9dc174 [/daten/fiasco/l4/bin/x86_586/l4v2/rtc-ux] Copying Module 0x0e9a8000-0x0e9d4174 [/daten/fiasco/l4/bin/x86_586/l4v2/l4exec] Copying Module 0x0e97f000-0x0e9a7174 [/daten/fiasco/l4/bin/x86_586/l4v2/con-ux] Copying Module 0x0e954000-0x0e97e174 [/daten/fiasco/l4/bin/x86_586/l4v2/loader] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden Rev: Thu Jan 27 21:21:35 2005 compiled with gcc 3.3.5 for Intel Pentium Starting Framebuffer: 640x480@16 CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 1243 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 68kB for maintenance structures. RMGR: Hello! running on Fiasco bootloader loaded 9 modules at 0e954000-0ea841a0 L4 symbols at 0e935000-0e9531a1 (120kB), lines at 0e908000-0e934d46 (179kB) total RAM size = 261120 KB (reported by bootloader) received 239296 KB RAM from sigma0 1108 KB reserved for RMGR received no I/O ports attached irqs = [ <!0> 1 2 3 4 5 6 7 8 9 a b c d e f ] RMGR: Parsing config. WARNING: couldn't find modname L4Linux task, only storing it's quota configured task 0x0e: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:10 small:ff ] log_mask: 00000000, log_types: 00000000 RMGR: Starting tasks. #05: loading "/daten/fiasco/l4/bin/x86_586/l4v2/names " from 0ea2f000-0ea38174 to [ 00200000-00206d80 00207000-00210000 ] starting at entry 00200000 via trampoline page code 0000c470 #06: loading "/daten/fiasco/l4/bin/x86_586/l4v2/log" from 0ea24000-0ea2e174 to [ 00400000-00407040 00408000-0043d000 ] starting at entry 00400000 via trampoline page code 0000d46c #07: loading "/daten/fiasco/l4/bin/x86_586/l4v2/dm_phys " from 0ea0e000-0ea23174 to [ 01500000-01512860 01513000-0151d000 ] starting at entry 01500000 via trampoline page code 0000e470 #08: loading "/daten/fiasco/l4/bin/x86_586/l4v2/simple_ts " from 0ea02000-0ea0d174 to [ 01400000-01408660 01409000-01417000 ] starting at entry 01400000 via trampoline page code 0000f474 #09: loading "/daten/fiasco/l4/bin/x86_586/l4v2/fuxfprov" from 0e9dd000-0ea01174 to [ 00500000-00521d4b 00522000-0053e000 ] starting at entry 00500000 via trampoline page code 00010470 #0a: loading "/daten/fiasco/l4/bin/x86_586/l4v2/rtc-ux" from 0e9d5000-0e9dc174 to [ 01080000-010849a0 01085000-0108a000 ] starting at entry 01080000 via trampoline page code 00011470 #0b: loading "/daten/fiasco/l4/bin/x86_586/l4v2/l4exec" from 0e9a8000-0e9d4174 to [ 01100000-01129a6b 0112a000-01134000 ] starting at entry 01100000 via trampoline page code 00012470 #0c: loading "/daten/fiasco/l4/bin/x86_586/l4v2/con-ux " from 0e97f000-0e9a7174 to [ 00b00000-00b24a6b 00b25000-00b30000 ] starting at entry 00b00000 via trampoline page code 00013470 #0d: loading "/daten/fiasco/l4/bin/x86_586/l4v2/loader /daten/fiasco/l4/bin/x86_586/l4v2/run /daten/fiasco/l4/cfg/l4linux26.ux" from 0e954000-0e97e174 to [ 01300000-0132606b 01327000-01339000 ] starting at entry 01300000 via trampoline page code 000144b8 names | Fiasco detected, registering thread names at kernel fuxfprov| OSKit support: using 128KB at 0x00100000 as heap (growing) fuxfprov| File provider started, registered as 9.02 exec | OSKit support: using 4096KB at 0x00400000 as heap (growing) con | OSKit support: using 128KB at 0x00100000 as heap con | Character size is 8x14, font has 256 characters con | VESA reports 640x480@16 (0000) [4096kB] con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 con | No supported accelerated graphics card detected con | Mapping I/O video mem c0000000 => 00400000+000000 [4096kB] con | Using MMXEXT for colorspace transform con | l4input_init: start con | map_inputmemory: paddr = 0xc0400000 con | Input memory page mapped to 0x00c00000 loader | OSKit support: using 128KB at 0x00100000 as heap loader | Can't map tbuf status page (map=00004000, error=00 result=00004000) con | Started input interrupt thread C.03! con | Running as C.02. Video mode is 640x480@16. fuxfprov| open "/daten/fiasco/l4/bin/x86_586/l4v2/run" by D.02 loader | "/daten/fiasco/l4/bin/x86_586/l4v2/run" is a valid binary image loader | Setting libpath to /daten/fiasco/l4/bin/x86_586/l4v2/ exec | run: Loading exec | run: Merging psec 01310000-01312000 with psec 0130c000-01311000 exec | run: Has no symbols exec | run: Has no lines exec | libloader.s.so: Loading fuxfprov| open "/daten/fiasco/l4/bin/x86_586/l4v2//libloader.s.so" by B.02 exec | libloader.s.so: Saved 21713 bytes of symbols exec | libloader.s.so: Relocating to 0000e000 exec | libloader.s.so: Linking exec | libloader.s.so: Relocating entry 000058d0 => 000138d0 exec | libloader.s.so: Setting section flag 0800 exec | run: Setting section flag 0800 loader | run: Starting l4env-style application loader | run,#f: Starting at l4loader_init (00014080) exec | run: Linking exec | run: Relocating entry 01300000 => 01300000 exec | run: Packed 17777 bytes of symbols exec | run: Packed 68105 bytes of lines loader | run,#f: Continue at l4env_init (00014090, libloader.s.so) fuxfprov| open "/daten/fiasco/l4/cfg/l4linux26.ux" by D.02 loader | sleeping for 2000 ms run | OSKit support: using 256KB at 0x00040000 as heap (growing) con | vc_loop(): vc[1] running as C.04 con | vc_open_out(): vc[1] 640x480@16, gmode:0x15 run | contxt_init(): 640x462, cols:80, lines:33, sb_lines:1033 exec | vmlinuz26.ux: Loading fuxfprov| open "/daten/fiasco/l4linux-2.6/vmlinuz26.ux" by B.02 exec | vmlinuz26.ux: Saved 768423 bytes of symbols exec | libloader.s.so: Relocating to 0000e000 exec | libloader.s.so: Linking exec | libloader.s.so: Relocating entry 000058d0 => 000138d0 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26.ux: Setting section flag 0800 loader | vmlinuz26.ux: Starting l4env-style application loader | vmlinuz26.ux,#10: Starting at l4loader_init (00014080) exec | vmlinuz26.ux: Linking exec | vmlinuz26.ux: Relocating entry 003ff000 => 003ff000 exec | vmlinuz26.ux: Packed 616018 bytes of symbols exec | vmlinuz26.ux: Packed 1629285 bytes of lines loader | vmlinuz26.ux,#10: Continue at l4env_init (00014090, libloader.s.so) l4lx | crt0_construction called. l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Binary name: vmlinuz26.ux l4lx | Kernel command line (9 args): mem=128M noreplacement no-hlt video=l4f l4lx : b:refreshsleep:2000 root=1:0 load_ramdisk=1 ramdisk_size=16384 l4env_ l4lx : rd=/daten/fiasco/drops-rd.rd panicblink=0 l4lx | My DMphys is at 07.00 l4lx | My region mapper is at 10.00 l4lx | My code starts at 0x003ff000 and ends at 0x006e2190 [2956 KiB]. l4lx | Semaphore thread ID: 10.01 l4lx | Areas: l4lx | Text: 003ff000 - 0060c000 [2100kB] (a bit longer) l4lx | Data: 0060c000 - 00651300 [276kB] l4lx | Initdata: 00654000 - 00684000 [192kB] l4lx | BSS: 00684008 - 006e2190 [376kB] l4lx | l4env_linux_startup thread 3. l4lx_thread_create: Created thread 10.03 (Linux server) l4lx | main thread will be 10.03 l4lx | l4env_register_pointer_section: addr = 3ff000 size = 2646016 l4lx | with-init: virt: 0x003ff000 to 0x00684fff [2584 KiB] l4lx | with-init: Number of physical regions: 1, 2646016 Bytes l4lx | with-init: 1: Phys: 0x00633000 to 0x008b9000, Size: 6089048 l4lx | main thread: received startup message. KERNEL: 10.3 (tcb=20401800) killed: Unhandled trap EAX 00000010 EBX 0060d0a0 ECX 00653f3c EDX 00080000 ESI 00200c01 EDI 00080000 EBP 00653fc4 ESP 00653f8c EIP 0065b31d EFLAGS 00210202 CS 0002 SS 007b DS 007b ES 007b FS 0000 GS 0000 trapno 13, error 00000000, from user mode (internal event regarding GDT entry no. 0x00) l4lx | Main thread running, waiting... when i diassembe the adress i get the following: --Interception--------------------------------------ESP:200007a0 EIP:000444aa (0.00) jdb: u task=10 addr=65b31d /daten/fiasco/l4/include/x86/l4/sys/utcb.h:97 0065b31d mov %gs:0x0,%eax /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:491 0065b323 movl $0x1,(%eax) /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:495 0065b329 call 0x65b200 <setup_stack> /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:496 0065b32e call 0x6547e0 <start_kernel> /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:497 0065b333 add $0x2c,%esp 0065b336 pop %ebx 0065b337 pop %esi 0065b338 pop %edi 0065b339 pop %ebp 0065b33a ret 0065b33b nop 0065b33c lea 0(%esi,1),%esi <l4x_l4io_init>: /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:501 0065b340 push %ebp /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:505 0065b341 xor %eax,%eax /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:501 0065b343 mov %esp,%ebp 0065b345 sub $0xc,%esp /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:505 0065b348 mov %eax,4(%esp,1) 0065b34c lea -4(%ebp),%eax /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:502 0065b34f movl $0xffffffff,-4(%ebp) /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:505 0065b356 mov %eax,(%esp,1) 0065b359 call 0x4d5890 <l4io_init> 0065b35e test %eax,%eax 0065b360 je 0x65b37d /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:506 0065b362 <enter_kdebug ("Error calling l4io_init!") /daten/fiasco/l4linux-2.6/arch/l4/kernel/main.c:507 0065b37d mov %ebp,%esp 0065b37f pop %ebp 0065b380 ret 0065b381 jmp 0x65b390 <fprov_load_initrd> 0065b383 nop dis: <0065b31d> task 10 [Headers] [AT&T] <Space>=lines mode but that doesn't help me. For any advice i would be very thankful greetings Stefan Kalkowski -- PGP-Schlüssel zu finden unter: https://www.inf.tu-dresden.de/~sk852421

2 1

dm_generic build problems
by Björn Fischer 23 Feb '05

23 Feb '05

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello everybody, when trying to build drops on my machine (Gentoo linux, gcc 3.3.5) I encountered the following errors: - ------------------------------- make[2]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' PWD=/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2 make -C OBJ-x86-l4v2 -f Makefile make[3]: Entering directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' ~ ... Generating dm_generic-server.c LD_PRELOAD=/home/bjoern/cvs/l4/tool/gendep/libgendep.so GENDEP_TARGET="dm_generic-server.c dm_generic-server.h dm_generic-client.c dm_generic-client.h dm_generic-sys.h" GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.dm_generic.idl.d CC=gcc false - -fforce-corba-alloc -fl4types -P-DRAM_BASE=0x0 -P-DSYSTEM_x86_l4v2 - -P-DARCH_x86 -P-DCPUTYPE_ -P-DL4API_l4v2 - -P-I../../../../include/x86/l4v2 - -P-I/home/bjoern/src/drops/include/x86/l4v2 - -P-I../../../../include/l4v2 -P-I/home/bjoern/src/drops/include/l4v2 - -P-I../../../../include/x86 -P-I/home/bjoern/src/drops/include/x86 - -P-I../../../../include -P-I/home/bjoern/src/drops/include -P-nostdinc - -P-DOSKIT -P-I../../../../../oskit10 - -P-I../../../../../oskit10/oskit/c - -P-I/home/bjoern/src/drops/include/oskit10 - -P-I/home/bjoern/src/drops/include/oskit10/oskit/c - -P-I/usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5/include ../dm_generic.idl make[3]: *** [dm_generic-server.c] Error 1 make[3]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl/OBJ-x86-l4v2' make[2]: *** [OBJ-x86-l4v2] Error 2 make[2]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic/idl' make[1]: *** [idl] Error 2 make[1]: Leaving directory `/home/bjoern/cvs/l4/pkg/dm_generic' make: *** [dm_generic.headers] Error 2 bash-2.05b$ - --------------------------------- Since there is no error message I could react on (like "missing file xyz" or something) I just don't know how to handle this. Does anybody have an Idea about that? Many thanks and greetings Björn Fischer -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.6 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFCGe1QTpwRRbjCovARAtVeAKCS6ekiBf12nv8DfMdLaDRPTUdc7ACeKrUL BQv40p8thr3Vt6J1RJZufk8= =3rjt -----END PGP SIGNATURE-----

3 3

Re: Using the OSKit POSIX Thread Library
by Tiago João Portela Jorge 22 Feb '05

22 Feb '05

>>On Mon Feb 21, 2005 at 22:41:26 +0000, Tiago Jorge wrote: >> So if i want to use pthreads, i can't. >> Regarding to locks and to threads i can replace them by L4threads lib, that >> includes locks and threads. but what do you recommend to replace the usage >> of conditional variables? >I'm not really familiar with these things. What's the problem, or what >would you need to implement it? i have worked out a solution... but thank you anyway :) -- Tiago Jorge

1 0

Using the OSKit POSIX Thread Library
by Tiago Jorge 22 Feb '05

22 Feb '05

On Sat Feb 19, 2005 at 16:39:24 +0000, Tiago Jorge wrote: >>/ Continuing the goal to port my aplication to an L4 server, i'm trying to />>/ use the OSKit lib to POSIX threads. / >>/ ... / >>/ I presume one of two cases: />>/ />>/ - There is no support for POSIX threads in your version of OSKit :( / >Well, I guess that's it. Sorry. So if i want to use pthreads, i can't. Regarding to locks and to threads i can replace them by L4threads lib, that includes locks and threads. but what do you recommend to replace the usage of conditional variables? thanks for the aswers (and patience :)) Tiago

2 1

Problems with the demo CD and qemu
by Cedric Roux 21 Feb '05

21 Feb '05

Hello L4 Hackers, here follows a description of what I did. My questions come to the end of the message. Sorry for the length, but I wanted to be clear. perignan:/home/roux/qemu_try2>wget http://fabrice.bellard.free.fr/qemu/qemu-0.6.1.tar.gz perignan:/home/roux/qemu_try2>tar -xvzf qemu-0.6.1.tar.gz perignan:/home/roux/qemu_try2>cd qemu-0.6.1 perignan:/home/roux/qemu_try2/qemu-0.6.1>./configure --target-list=i386-softmmu --prefix=/home/roux/qemu_try2 Install prefix /home/roux/qemu_try2 BIOS directory /home/roux/qemu_try2/share/qemu binary directory /home/roux/qemu_try2/bin Manual directory /home/roux/qemu_try2/share/man ELF interp prefix /usr/gnemul/qemu-%M Source path /home/roux/qemu_try2/qemu-0.6.1 C compiler gcc make make host CPU i386 host big endian no target list i386-softmmu gprof enabled no static build no SDL support yes SDL static link yes mingw32 support no Adlib support no FMOD support no perignan:/home/roux/qemu_try2/qemu-0.6.1>make ... bulding output data ... everything was fine ... perignan:/home/roux/qemu_try2/qemu-0.6.1>make install ... install output data ... everything was fine ... perignan:/home/roux/qemu_try2/qemu-0.6.1>cd .. perignan:/home/roux/qemu_try2>wget http://os.inf.tu-dresden.de/L4/LinuxOnL4/demo-cd/demo-cd-0.1.iso.bz2 ... donwload ok ... perignan:/home/roux/qemu_try2>bunzip2 demo-cd-0.1.iso.bz2 perignan:/home/roux/qemu_try2>bin/qemu -cdrom demo-cd-0.1.iso -boot d -serial stdio Could not configure '/dev/rtc' to have a 1024 Hz timer. This is not a fatal error, but for better emulation accuracy either use a 2.6 host Linux kernel or type 'echo 1024 > /proc/sys/dev/rtc/max-user-freq' as root. ... a lot of output from l4 ... Now, we are inside qemu, we just choose "L4Linux 2.6 from this cd [dope]". When linux is there, we try a: telnet 10.0.2.2 (10.0.2.2 is the address of the localhost, as set by qemu) inside the l4linux window, and we've got this: <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<00401b16>] l4x_idle+0x196/0x1a0 [<004049c8>] cpu_idle+0x8/0x10 [<006d0719>] start_kernel+0x1f9/0x260 [<006d4571>] l4env_linux_startup+0x111/0x120 [<00015205>] 0x15205 [<00018198>] 0x18198 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<004022bf>] l4x_dispatch_message+0x79f/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0040bb99>] sys_sched_yield+0x39/0x50 [<0044858a>] do_coredump+0xca/0x2b5 [<0041744a>] get_signal_to_deliver+0x29a/0x310 [<00406811>] do_signal+0x51/0x720 [<00401fbe>] l4x_dispatch_message+0x49e/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0061c7b8>] schedule_timeout+0xa8/0xb0 [<0044f253>] do_select+0x363/0x370 [<0044f4d1>] sys_select+0x271/0x410 [<004024c7>] l4x_dispatch_message+0x9a7/0x11b0 [<00000000>] 0x0 <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<0061c7b8>] schedule_timeout+0xa8/0xb0 [<0044f253>] do_select+0x363/0x370 [<0044f4d1>] sys_select+0x271/0x410 [<004024c7>] l4x_dispatch_message+0x9a7/0x11b0 [<00000000>] 0x0 <0>Kernel panic: Aiee, killing interrupt handler! <0>In interrupt handler - not syncing This error message is not always the same, I once had: <3>bad: scheduling while atomic! [<00407efe>] dump_stack+0x1e/0x20 [<0061c3f0>] schedule+0x450/0x490 [<00401b16>] l4x_idle+0x196/0x1a0 [<004049c8>] cpu_idle+0x8/0x10 [<006d0719>] start_kernel+0x1f9/0x260 [<006d4571>] l4env_linux_startup+0x111/0x120 [<00015205>] 0x15205 [<00018198>] 0x18198 KERNEL: c.3 (tcb=c0301800) killed: Unhandled trap EAX 030ded40 EBX 00003293 ECX 00682f00 EDX 030ded48 ESI 00000000 EDI 00682f04 EBP 007d1f04 ESP 007d1f04 EIP 0040e27f EFLAGS 00003206 CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0043 trapno 6, error 00000000, from user mode We have here: perignan:/home/roux/qemu_try2>uname -a Linux perignan 2.4.20-8smp #1 SMP Thu Mar 13 17:45:54 EST 2003 i686 i686 i386 GNU/Linux perignan:/home/roux/qemu_try2>gcc --version gcc (GCC) 3.2.2 20030222 (Red Hat Linux 3.2.2-5) My CPU is a Pentium 4 running at 3GHz, I've got 1GB of RAM. My X Window has a depth of 24, it's a TrueColor visual class. If you need more informations to solve this, just tell me. I would like to know: 1 - what's going on? I suspected some kind of weird IRQ firing because of the use of qemu, but as far as my investigations have told me, it doesn't seem to be that. I believed that one IRQ went to fast after a first one, so the linux was not yet out of the driver code, but the interrupts were enabled, thus crashing everything. I think I was wrong, no? 2 - how to solve this. What code/doc should I read to debug it, where to dig. I am a bit confused for now. Thank you by advance for your help. Best regards, Cedric.

2 6

Using the OSKit POSIX Thread Library
by Tiago Jorge 21 Feb '05

21 Feb '05

Continuing the goal to port my aplication to an L4 server, i'm trying to use the OSKit lib to POSIX threads. I'm using c++ and building in l4env_freebsd mode. First of all, the static link to the lib wasn't in the modes.inc file. I've included it there. I've tried to build my test project, that simply starts a thread. The test files compiles but it doesn't do the static link. The error is the following: PWD=/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2 make -C OBJ-x86_586-l4v2 -f Makefile make[1]: Entrando no diretório `/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2' ... Compiling main.o LD_PRELOAD=/home/tiago/l4/tool/gendep/libgendep.so GENDEP_TARGET=main.o GENDEP_BINARY=cpp0 g++-2.95 -c -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../idl/OBJ-x86-l4v2 -I../../../../../include/x86/l4v2 -I/home/tiago/drops/include/x86/l4v2 -I../../../../../include/l4v2 -I/home/tiago/drops/include/l4v2 -I../../../../../include/x86 -I/home/tiago/drops/include/x86 -I../../../../../include -I/home/tiago/drops/include -nostdinc -DOSKIT -I../../../../../../oskit10/freebsd/libc/include -I../../../../../../oskit10/freebsd/3.x/src/include -I../../../../../../oskit10/freebsd/3.x/src/sys -I../../../../../../oskit10 -I../../../../../include/c++/2.95 -I../../../../../include/c++/2.95/drops -I/home/tiago/drops/include/oskit10 -I/home/tiago/drops/include/oskit10/oskit/freebsd -I/home/tiago/drops/include/c++/2.95 -I/home/tiago/drops/include/c++/2.95/drops -I/usr/lib/gcc-lib/i386-linux/2.95.4/include -nostdinc -I../../../../../include/c++-3 -I../../../../../include/drops -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall /home/tiago/l4/pkg/meumundo/server/src/main.cc -o main.o ==> Linking meumundo LD_PRELOAD=/home/tiago/l4/tool/gendep/libgendep.so GENDEP_TARGET=meumundo GENDEP_BINARY=ld gcc-2.95 -o meumundo ../../../../../lib/x86_586/crt0.o main.o -Ttext=0x01000000 -L../../../../../lib/x86_586/l4v2 -L/home/tiago/drops/lib/x86_586/l4v2 -L../../../../../lib/x86_586 -L/home/tiago/drops/lib/x86_586 -L../../../../../lib -L/home/tiago/drops/lib -L../../../../../../oskit10/lib -L../../../../../lib/c++/2.95 -L/home/tiago/drops/lib/oskit10 -L/home/tiago/drops/lib/c++/2.95 -T../../../../../lib/x86_586/main_stat.ld -lstdc++ /usr/lib/gcc-lib/i386-linux/2.95.4/libgcc.a -static -loskit10_support_l4env_freebsd.o -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -lnames -ll4util -lrmgr -ll4env -lomega0 -llogserver -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -Wl,--nostdlib -loskit_freebsd_c -loskit_freebsd_net -loskit_startup -loskit_clientos -loskit_bootp -loskit_linux_fs -loskit_fsnamespace -loskit_diskpart -loskit_linux_dev -loskit10_support_l4env_freebsd_dev -loskit_kern -loskit_lmm -loskit_threads -loskit_amm -loskit_freebsd_c -loskit_com /usr/lib/gcc-lib/i386-linux/2.95.4/libgcc.a -loskit_freebsd_c -Ttext=0x01000000 -Wl,-gc-sections main.o(.text+0x29b): In function `main': /home/tiago/l4/pkg/meumundo/server/src/main.cc:44: undefined reference to `pthread_create(void **, pthread_attr const *, void *(*)(void *), void *)' collect2: ld returned 1 exit status make[1]: ** [meumundo] Erro 1 make[1]: Saindo do diretório `/home/tiago/l4/pkg/meumundo/server/src/OBJ-x86_586-l4v2' make: ** [OBJ-x86_586-l4v2] Erro 2 I presume one of two cases: - My code is wrong somehow, but i've tried to build the oskit example os the philosophers dinner and didn't worked as well - There is no support for POSIX threads in your version of OSKit :( thanks in advance Tiago Jorge

2 1

problem with run-l4
by Jayesh Salvi 21 Feb '05

21 Feb '05

I am trying to run an executable from L4linux using run-l4 command. The script is: $ ./run-l4 dope.cfg Dope.cfg: sleep 1 task "dopelog" allow_cli priority xx But I get: L4_sleep(): IPC error 40 ... repeated for 21 lines LOADER not found. I am using L4Linux 2.6 on fiasco Thanks Jayesh

2 1

Using STL
by Tiago Jorge 17 Feb '05

17 Feb '05

hello... I've picked up in the hello_cxx example and i've tried to use STL "vector" or "map" to try it out, but the example didn't compiled. do i need to add any library or something else in the src Makefile? thank you Tiago

2 1

L4Env compilation error
by Jayesh Salvi 17 Feb '05

17 Feb '05

I had my L4Env compiled last weekend, but after that I had to upgrade my linux to Fedora Core 3, which changed my compiler version. So I started compiling form scratch and I stumbled on this error. I have appended the compiler version at the end. make[3]: Entering directory `/home/jayesh/oskit/examples' gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot.c ld -Ttext 100000 -L../lib \ -o multiboot ../lib/multiboot.o multiboot.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot-gdb.c ld -Ttext 100000 -L../lib \ -o multiboot-gdb ../lib/multiboot.o multiboot-gdb.o \ -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a gcc -c -MD -DHAVE_CONFIG_H -DOSKIT -D__KERNEL__ -I. -I../examples/x86 -I- -I.. -I.. -I../flux/c -I../libfdev_linux/include -nostdinc -g -O2 -march=i586 -Wall ../examples/x86/multiboot-smp.c ld -Ttext 100000 -L../lib \ -o multiboot-smp ../lib/multiboot.o multiboot-smp.o \ -lsmp -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a ../lib/libsmp.a(boot.o)(.text+0x29): In function `_SMP_TRAMP_START_': : relocation truncated to fit: R_386_16 _SMP_TRAMP_32_ENTRY_ make[3]: *** [multiboot-smp] Error 1 make[3]: Leaving directory `/home/jayesh/oskit/examples' make[2]: *** [examples/all.MAKE] Error 2 make[2]: Leaving directory `/home/jayesh/oskit' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/jayesh/oskit' make: *** [../oskit] Error 2 [jayesh@orion l4]$ gcc -v Reading specs from /usr/lib/gcc/i386-redhat-linux/3.4.2/specs Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-java-awt=gtk --host=i386-redhat-linux Thread model: posix gcc version 3.4.2 20041017 (Red Hat 3.4.2-6.fc3) Any guess. Jayesh jsalvi@veritas 67349

2 1