l4-hackers

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

2 participants
2880 discussions

Re: Compiling L4Linux-2.6 without L4Env on L4::Fiasco
by kazilus kazilus 13 Dec '07

13 Dec '07

Ok thanks for the info. How about the L4Linux-2.4. So far, i found info that it can be build on top Fiasco without L4Env, but the problem i wasn't able to get source codes of L4Linux 2.4 until now. May i know where can i get them? ----- Original Message ---- From: Bjoern Doebel <doebel(a)os.inf.tu-dresden.de> To: kazilus kazilus <amadkamal(a)yahoo.com> Cc: l4-hackers(a)os.inf.tu-dresden.de Sent: Thursday, December 13, 2007 3:24:08 PM Subject: Re: Compiling L4Linux-2.6 without L4Env on L4::Fiasco Hi, > I've got problem to compiling L4Linux-2.6 on Fiasco. > > For information, i didn't install L4Env package. > > Does it possible to install L4Linux-2.6 without L4Env, if so, may i know > a basic start to do that? No. You need to build L4Env, too, because L4Linux is using L4Env as the underlying paravirtualization layer. Just keep to the instructions on the website, then this should be fine. Regards, Bjoern ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ

2 1

Compiling L4Linux-2.6 without L4Env on L4::Fiasco
by kazilus kazilus 13 Dec '07

13 Dec '07

Hi All, I've got problem to compiling L4Linux-2.6 on Fiasco. For information, i didn't install L4Env package. Does it possible to install L4Linux-2.6 without L4Env, if so, may i know a basic start to do that? Regards, Ahmad Kamal ____________________________________________________________________________________ Looking for last minute shopping deals? Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping

2 1

Little fix about ORe
by Marc CHALAND 10 Dec '07

10 Dec '07

Hi, I've found that when an ORe client finishes, ORe doesn't stop associated worker thread. Context is correctly freed but not thread. This may lead a lack of thread when several clients finishes and restart several times. Here is a little patch to fix this. Regards Marc

2 1

UX question
by Nicholas Mc Guire 06 Dec '07

06 Dec '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi ! latest svn (as of yesterday) booting ux with the default hello module ends up in jdb and it seems like nither "g" nor "^" nor control-C will kill the beast :) any way out, aside from switching consoles and trampling on fiasco ? some details: root 11705 25.2 3.3 66704 7512 pts/0 S+ 13:48 1:41 ./fiasco - -I hello root 11706 0.0 0.0 0 0 pts/0 Z+ 13:48 0:00 [hello] <defunct> so the hello that happily prints on the real-hw seems to be dead under UX (seems well reproducible) After CNTRL-C I end at: debian:/home/l4/tudos/ux_test# ./fiasco -I hello <snip> Loading Module 0x00100000-0x00109380 [sigma0] Loading Module 0x00110000-0x002ae000 [roottask] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/ia32 microkernel (C) 1998-2007 TU Dresden Rev: r247 compiled with gcc 4.1.2 for Intel Pentium [] CPU: AuthenticAMD (F:4F:2:0) Model: Unknown CPU at 1803 MHz 32/512 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/512 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: 24576 bytes (6 pages) Calibrating timer loop... - --Interception--------------------------------------ESP:200007a8 EIP:000ceaf6 (0.00) jdb: t thread: 0.00 <00000000> prio: 00 mcp: ff mode: Con state: 001 ready wait for: polling: rcv descr: lcked by: ---.-- timeout : cpu time: 0 timeslice: 100000/100000 s pager : ---.-- cap: ---.-- utcb: 00000000 preemptr: ---.-- not monitored ready lnk: ???.?? ???.?? prsnt lnk: 0.00 0.00 EAX=00000000 ESI=00000000 DS=007b EBX=00000000 EDI=00000000 ES=007b je 0xceae0 ECX=00000000 EBP=63efc000 GS=0000 mov 0xa0(%ebp),%esi EDX=00000000 ESP=200007a8 SS=0000 trap 1 (Debug), error 00000000, from kernel mode CS=0000 EIP=000ceaf6 EFlags=00000246 200007a8 00000000 00000246 00096b24 20000000 00000000 00000000 000cd5f6 00000000 7c0 200007cc 20000000 000cd7ba 00015540 00000000 00000000 00000000 00000000 7e0 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 t/bt/l etc. shows only one task and that task is marked ready. any hint ? thx! hofrat -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFHV8wJnU7rXZKfY2oRArptAJ49z8//ypf7IupiBqaIKO89+Y9PBgCbBH4j GSvlkztmVMcICMLsjo7X0dw= =cpwv -----END PGP SIGNATURE-----

2 2

The problems of compiling grub-0.97-os.6
by cheng.guanghui.ml 01 Dec '07

01 Dec '07

Hi: I compile the grub-0.97 patched the os.6 provided by Adam home page. But there are some error messages like following: pre_stage2_exec-bios.o: In function `get_cdinfo': /home/cheng/tudos/grub-0.97/stage2/bios.c:179: undefined reference to `__stack_chk_fail' pre_stage2_exec-bios.o: In function `get_diskinfo': /home/cheng/tudos/grub-0.97/stage2/bios.c:317: undefined reference to `__stack_chk_fail' pre_stage2_exec-boot.o: In function `load_image': /home/cheng/tudos/grub-0.97/stage2/boot.c:759: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o: In function `blocklist_func': /home/cheng/tudos/grub-0.97/stage2/builtins.c:224: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o: In function `embed_func': /home/cheng/tudos/grub-0.97/stage2/builtins.c:1191: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o:/home/cheng/tudos/grub-0.97/stage2/builtins.c:1350: more undefined references to `__stack_chk_fail' follow collect2: ld returned 1 exit status gcc version: 4.1.3 OS: ubuntu 7.10 gutsy

3 2

Re: l4x_hybrid_return for ovlscreen driver
by Adam Lackorzynski 23 Nov '07

23 Nov '07

Hi Marc, On Wed Nov 21, 2007 at 14:38:54 +0100, Marc CHALAND wrote: > 2007/11/21, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: > > > > Are you using 2k or 4k stack in Fiasco? If 2k, try 4k. > > I've tried 4k without success. Should I compile all l4env ? No, this is just a kernel matter. > > Also, there's a > > stack depth debugging feature, i.e. when you look at the thread list > > there's figure how much stack is used. You could look at those figure > > too. > > When it crashes, X has got a figure of 1016. It's not necessarily the X process. What are the highest numbers and to which task do they belong? > I join fiasco binary. pf occurs at 0xf0020d8d. Is there something to exploit ? Please send me (in private mail) the fiasco.image file. The one you attached is the stripped version which gives me difficulties finding the correspondig source location. > I also tried to not use assembler IPC shortcut, but fiasco crashes at boot time. Uh? That should not happen and it works for me. Could you send me the config you used for this setup? > > I'd suspect inlining is using a bit more stack than without > > inlining. > > I would have think the opposite as parameters, ebp and eip should be > stacked as with inline code, it shouldn't ? Inlining will duplicate code and thus use more stack, at least that's our experience. I guess gcc could be smarter about stack usage but well... Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 1

l4x_hybrid_return for ovlscreen driver
by Marc CHALAND 21 Nov '07

21 Nov '07

Hi, With Nitpicker, I try to start X server with ovlscreen driver. After a little while, I get the following message : l4lx | l4x_hybrid_return: Invalid hybrid return for 23.00 (0x0688d570, e, 0, l4lx : -1, f0020d5d)! l4lx | l4x_hybrid_return: Currently running: 00.00 After some debugging and tracing, I've found that this message happens when X server does a rmgr_get_task_id on names. I don't understand why this IPC fails as ping_call perfectly works (I enabled traces on roottask and saw ping_component call). I tried to enable IPC monitoring with I* into jdb, but I get an assertion in Fiasco : Assertion failed: 'this == current()' in /home/chaland/l4/tudos/kernel/fiasco/src/kern/context.cpp:512 at f0023378 I don't understand what happens. Could you help me please ? Regards Marc

3 8

Error when compiling l4linux
by fang zhengshu 12 Nov '07

12 Nov '07

Hello, after some days trying to compile l4linux , I reach the following problem while compiling l4linux : . . . AR lib/lib.a CC arch/l4/lib/arch-i386/../proc.o LD arch/l4/lib/arch-i386/proc.o LD arch/l4/lib/arch-i386/built-in.o CC arch/l4/lib/arch-i386/../../../i386/lib/bitops.o CC arch/l4/lib/arch-i386/../../../i386/lib/delay.o CC arch/l4/lib/arch-i386/../../../i386/lib/mmx.o CC arch/l4/lib/arch-i386/../../../i386/lib/string.o CC arch/l4/lib/arch-i386/../../../i386/lib/strstr.o CC arch/l4/lib/arch-i386/../memcpy_user.o CC arch/l4/lib/arch-i386/../pte.o CC arch/l4/lib/arch-i386/../uaccess.o CC arch/l4/lib/arch-i386/checksum.o CC arch/l4/lib/arch-i386/memcpy.o make[1]: *** No rule to make target "arch/l4/lib/arch-i386/mmx.o",need by "arch/l4/lib/arch-i386/lib.a". stop。 make: *** [arch/l4/lib/arch-i386] Error 2 ------- I use the /l4linux-2.6/arch/l4/configs/x86-native_defconfig as the defconfig; cp /l4linux-2.6/arch/l4/configs/x86-native_defconfig config cp config .config make oldconfig ;make menuconfig and also I modified the cpu type and device driver. but when I compiled it on AMD Athlon the error apear; when I compiled it on p4 it worked well. -------- I really don't know how to resolve this. Help would be very welcome. Thanks, Dennis

2 1

Mad Mouse
by Marc CHALAND 08 Nov '07

08 Nov '07

Hi I use Nitpicker with dope applications. Sometimes, mouse cursor becomes mad: it goes from right to the left or up to the down. On serial console, I get the following message : nitpicke| serio: i8042 AUX port at 0x60,0x64 irq 12 nitpicke| serio: i8042 KBD port at 0x60,0x64 irq 1 ... nitpicke| connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 nitpicke| connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 nitpicke| connect "PC Speaker", isa0061/input0 nitpicke| connect "L4 input event injector", l4/sys ... nitpicke| psmouse.c: Explorer Mouse at isa0060/serio1/input0 lost synchronizati nitpicke: on, throwing 3 bytes away. fiasco is started with -serial_esc option. I tried to modify ACPI parameters into bios, but nothing changed. On google, I've found that noacpi should be used but this option is not available into l4input. I also tried to change mouse. With a linux live cd configuration works perfectly. Have you got any idea about this problem ? Driver should be updated (I use current svn version) ? Something else wrong into my configuration ? Regards Marc

3 12

Hide linux console into DOpE
by Marc CHALAND 08 Nov '07

08 Nov '07

Hi, I added into l4linux a feature that seems to me interesting. With the following patch, it is possible to hide linux console window with the following linux command: echo N > /sys/module/l4fb/parameters/console_visible The console can be shown with the following command : echo Y > /sys/module/l4fb/parameters/console_visible Regards Marc

2 1

problem compiling l4linux - arm
by Dennis Gessner 06 Nov '07

06 Nov '07

Hi, I have some difficulties, compiling l4linux for arm. (I use the toolchain from http://www.ertos.nicta.com.au/downloads/tools/arm-linux-3.4.4.tar.bz2.) Using the version from SVN (# svn co -N http://svn.tudos.org/repos/tudos/trunk tudos), I don't have any problems compiling fiasco or the l4env, but if I try to compile l4linux (... "repomgr co fiasco dice l4linux-2.6-env" ... and after disabling the VGA-Console) - I get the following error-message: --- l4linux-2.6 # make L4ARCH=arm CROSS_COMPILE=arm-linux- CHK include/linux/version.h CHK include/linux/utsrelease.h CALL scripts/checksyscalls.sh <stdin>:91:1: warning: "__IGNORE_sync_file_range" redefined In file included from <stdin>:2: include/asm-l4/arm-arch/asm/unistd.h:444:1: warning: this is the location of the previous definition <stdin>:1097:2: warning: #warning syscall fadvise64 not implemented <stdin>:1265:2: warning: #warning syscall migrate_pages not implemented <stdin>:1321:2: warning: #warning syscall pselect6 not implemented <stdin>:1325:2: warning: #warning syscall ppoll not implemented <stdin>:1365:2: warning: #warning syscall epoll_pwait not implemented CHK include/linux/compile.h GEN .version CHK include/linux/compile.h UPD include/linux/compile.h CC init/version.o LD init/built-in.o LD .tmp_vmlinux1 arch/l4/kernel/arch-arm/built-in.o(.init.text+0x824): In function `start_thread': /root/tudos/l4linux-2.6/include/asm-l4/arm-arch/asm/current.h:9: undefined reference to `l4env_load_initrd' make: *** [.tmp_vmlinux1] Error 1 --- How can I solve this error-message? By the way, using a l4linux Version from 2007-06-30 works very well, but there I have the problem, that the openmoko-kernel-patchset is made for linux 2.6.22.x and my 2007-06-30-Version is 2.6.21.x. Any help would be very welcome! Thanks, Dennis

4 5

Can't using keyboard when start from serial port.
by 丁莹 05 Nov '07

05 Nov '07

Hi,all These day we test the l4linux-2.6.23 on debian and ubuntu ,both on them the dope is runing well,but we have problem with starting from serial port,that is the keyboard can't input.It's seems the keyboard is actived,but can't input anything.And the output message as follow. ----------------------------------------------------------------------------------- Welcome to minicom 2.2 OPTIONS: I18n Compiled on Mar 7 2007, 15:10:03. Port /dev/ttyS0 Press ESC,Z for help on special keys Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2007 TU Dresden Rev: r231 compiled with gcc 4.1.2 for Intel Pentium [] Performance-critical config option(s) detected: CONFIG_NDEBUG is off Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (F:2:9:9) Model: Pentium 4 (Northwood/Prestonia) at 2790 MHz 128 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4k or 4M pages) 12K �-ops T Cache (8-way associative) 8 KB L1 D Cache (4-way associative, 64 bytes per line) 512 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "/boot/L4Linux/roottask task modname "bmodfs" attached 4 modules" 252478kB ( 246MB) total RAM (reported by bootloader) 226200kB ( 221MB) received RAM from Sigma0 26112kB ( 26MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B C D E F 10 11 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4 Roottask: Loading 14 modules. #05: loading "/boot/L4Linux/events" from [06129000-06166bb9] to [01540000-01548b90][01549000-0155e5b0] entry at 0005b070 via trampoline page code symbols at [0e32c000-0e32e000] (8kB), lines at [0e326000-0e32c000] (24kB) #06: loading "/boot/L4Linux/names --events" from [06167000-061a602c] to [002d0000-002d6317][002d7000-002e2000] entry at 0005c078 via trampoline page code symbols at [0e324000-0e326000] (8kB), lines at [0e31e000-0e324000] (24kB) #07: loading "/boot/L4Linux/log --events" from [061a7000-061e25fa] to [00400000-00406b4a][00407000-00439848] entry at 0005d074 via trampoline page code symbols at [0e31c000-0e31e000] (8kB), lines at [0e316000-0e31c000] (24kB) #08: loading "/boot/L4Linux/dm_phys --isa=0x00800000 -v --events" from [061e3000-0627a0c3] to [01500000-01512ad7][01513000-0151d000] entry at 0005e08c via trampoline page code symbols at [0e311000-0e316000] (20kB), lines at [0e304000-0e311000] (52kB) #09: loading "/boot/L4Linux/simple_ts -t 300 --events" from [0627b000-062c65a1] to [01400000-0140842a][01409000-01418608] entry at 0005f080 via trampoline page code symbols at [0e302000-0e304000] (8kB), lines at [0e2fb000-0e302000] (28kB) #0a: loading "/boot/L4Linux/rtc --events" from [062c7000-062f503e] to [01080000-010843c0][01085000-0108a000] entry at 00061074 via trampoline page code symbols at [0e2f9000-0e2fb000] (8kB), lines at [0e2f5000-0e2f9000] (16kB) #0b: loading "/boot/L4Linux/l4io --noirq --events module" from [062f6000-06560cc0] to [00c20000-00c42a75][00c43000-00cb1000] entry at 00062084 via trampoline page code symbols at [0e29f000-0e2f5000] (344kB), lines at [0e286000-0e29f000] (100kB) #0c: loading "/boot/L4Linux/omega0 --l4io" from [06561000-065a4980] to [00360000-0036779c][00368000-0036d000] entry at 00063074 via trampoline page code symbols at [0e284000-0e286000] (8kB), lines at [0e27d000-0e284000] (28kB) #0d: loading "/boot/L4Linux/loader --fprov=BMODFS linux26.cfg" from [065a5000-0667c018] to [01300000-01325d21][01326000-01345000] entry at 00064088 via trampoline page code symbols at [0e276000-0e27d000] (28kB), lines at [0e25e000-0e276000] (96kB) #0e: loading "/boot/L4Linux/bmodfs" from [0667d000-0671ee67] to [01220000-012362e1][01237000-0124e000] passing module /boot/L4Linux/vmlinuz [ 0671f000-077f95d2 ] passing module /boot/L4Linux/linux26.cfg [ 077fa000-077fa0a6 ] passing module /boot/L4Linux/libloader.s.so [ 077fb000-0789473f ] passing module /boot/L4Linux/libld-l4.s.so [ 07895000-0790bbad ] entry at 00065120 via trampoline page code symbols at [0e259000-0e25e000] (20kB), lines at [0e248000-0e259000] (68kB) log | /boot/L4Linux/log: unrecognized option `--events' log | Unrecognized option: - ? log | Usage: /boot/L4Linux/log <options>. Option list: log | [ -h | --help ] - this help log | [ -v | --verbose ] - verbose mode log | [ -l | --local ] - flush to local console log | [ -L | --nolocal ] - do not flush to local console log | [ -s | --comport num ] - flush to specified serial interface (0) log | [ -e | --serial-esc ] - enter kdebug on esc on serial log | [ -b | --buffer num ] - buffered mode (0) log | [ --flushprio num ] - priority of flusher thread (0x20) log | [ -p | --prio num ] - priority of main thread (0x20) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc | Date:30.10.2007 Time:21:32:43 omega0 | /boot/L4Linux/omega0: unrecognized option `--l4io' omega0 | Unrecognized option: - ? omega0 | Usage: /boot/L4Linux/omega0 <options>. Option list: omega0 | [ -h | --help ] - this help omega0 | [ -e | --events ] - enable exit handling via events omega0 | omega0 | Exiting with 1 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x0f6f0000 (from L4 kernel info page) DMphys | using 0x00100000-0x0f6f0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x001ad000 -- -- DENIED DMphys | 0x001ad000-0x002ad000 7 12 MAPPED DMphys | 0x002ad000-0x002ae000 -- -- DENIED DMphys | 0x002ae000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e2000 -- -- DENIED DMphys | 0x002e2000-0x00360000 7 12 MAPPED DMphys | 0x00360000-0x0036d000 -- -- DENIED DMphys | 0x0036d000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x00a07000 7 12 MAPPED DMphys | 0x00a07000-0x00c20000 0 12 MAPPED DMphys | 0x00c20000-0x00cb1000 -- -- DENIED DMphys | 0x00cb1000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x0124e000 -- -- DENIED DMphys | 0x0124e000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01345000 -- -- DENIED DMphys | 0x01345000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01419000 -- -- DENIED DMphys | 0x01419000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151d000 -- -- RESERVED DMphys | 0x0151d000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0155f000 -- -- DENIED DMphys | 0x0155f000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x0671f000 0 12 MAPPED DMphys | 0x0671f000-0x0790c000 -- -- DENIED DMphys | 0x0790c000-0x07c00000 0 12 MAPPED DMphys | 0x07c00000-0x0e000000 0 22 MAPPED DMphys | 0x0e000000-0x0e248000 0 12 MAPPED DMphys | 0x0e248000-0x0f6f0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 201668KB total, 201668KB free, 32KB reserved DMphys | 0x00a07000-0x00c20000 ( 2148KB, 2MB) free DS: DMphys | 0x00cb1000-0x01080000 ( 3900KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x0124e000-0x01300000 ( 712KB, 1MB) free DS: DMphys | 0x01345000-0x01400000 ( 748KB, 1MB) free DS: DMphys | 0x01419000-0x01500000 ( 924KB, 1MB) free DS: DMphys | 0x0151d000-0x01540000 ( 140KB, 0MB) free DS: DMphys | 0x0155f000-0x0671f000 ( 83712KB, 82MB) free DS: DMphys | 0x0790c000-0x0e248000 (107760KB, 105MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x001ad000-0x002ad000 ( 1024KB, 1MB) free DS: DMphys | 0x002ae000-0x002d0000 ( 136KB, 0MB) free DS: DMphys | 0x002e2000-0x00360000 ( 504KB, 0MB) free DS: DMphys | 0x0036d000-0x00400000 ( 588KB, 1MB) free DS: DMphys | 0x0043a000-0x00a07000 ( 5940KB, 6MB) free DS: bmodfs | Passed the following modules: bmodfs | module "/boot/L4Linux/vmlinuz" (17258kB) bmodfs | module "/boot/L4Linux/linux26.cfg" (1kB) bmodfs | module "/boot/L4Linux/libloader.s.so" (614kB) bmodfs | module "/boot/L4Linux/libld-l4.s.so " (475kB) io | /boot/L4Linux/l4io: unrecognized option `--noirq' io | Enabling events support. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1 io | Transparent bridge - Intel Corporation 82801 PCI Bridge io | PCI: Enabling device 00:1f.1 (0005 -> 0007) io | 00000000-ffffffff : PCI mem io | 80000000-8007ffff : Intel Corporation 82845G/GL[Brookdale-G]/GE Chi io : pset Integrated Graphics Device io | 80080000-800803ff : Intel Corporation 82801DB (ICH4) IDE Controller io | 88000000-8fffffff : Intel Corporation 82845G/GL[Brookdale-G]/GE Chi io : pset Integrated Graphics Device io | c0080000-c00803ff : Intel Corporation 82801DB/DBM (ICH4/ICH4-M) USB io : 2 EHCI Controller io | c0080800-c00808ff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ io : ICH4-M) AC'97 Audio Controller io | c0080c00-c0080dff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ io : ICH4-M) AC'97 Audio Controller io | c0100000-c0100fff : Intel Corporation 82801DB PRO/100 VE (LOM) Ethe io : rnet Controller io | d0000000-dfffffff : Intel Corporation 82845G/GL[Brookdale-G]/GE/PE io : DRAM Controller/Host-Hub Interfa io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | 1800-181f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #1 io | 1820-183f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #2 io | 1840-185f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #3 io | 1860-186f : Intel Corporation 82801DB (ICH4) IDE Controller io | 1880-189f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : SMBus Controller io | 18c0-18ff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : AC'97 Audio Controller io | 1c00-1cff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : AC'97 Audio Controller io | 2000-203f : Intel Corporation 82801DB PRO/100 VE (LOM) Ethernet Con io : troller loader | vmlinuz: Starting application using libld-l4.s.so loader | vmlinuz,#f: Loading binary loader | vmlinuz,#f: Loading ldso loader | vmlinuz,#f: Starting libld-l4.s.so at 00013870 via 0000cf40 io | Available IRQs=[ <!0> 1 <!2> 3 4 5 6 7 8 9 a b c d e f 10 11 ] l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.23-l4 (root@l4) (gcc version 4.1.2 20061115 (prerel l4lx : ease) (Debian 4.1.1-21)) #3 Tue Oct 30 15:08:10 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (7 args): earlyprintk=yes console=ttyLv0 init=2 m l4lx : em=64M video=l4fb root=/dev/hda8 ro l4lx | Image: 00400000 - 007d4000 [3920 KiB]. l4lx | Areas: Text: 00400000 - 006e1000 [2948kB] (a bit longer) l4lx | Data: 006e1000 - 0070009c [124kB] l4lx | Initdata: 00704000 - 0073f000 [236kB] l4lx | BSS: 00740000 - 007d1650 [581kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer0) l4lx | Tamer0 is 0f.03 l4lx | Using tamed mode. l4lx | Connecting to l4io server. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (cpu0) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 00702000 size = 860160 l4lx | sec-w-init: virt: 0x00702000 to 0x007d3fff [840 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 2, 860160 Bytes l4lx | sec-w-init: 1: Phys: 0x01345000 to 0x01392000, Size: 315392 l4lx | sec-w-init: 2: Phys: 0x0127b000 to 0x01300000, Size: 544768 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 64MB l4lx | Got 2048kB of ISA DMA memory. l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x0a000000 to 0x0e000000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1545 entries). Linux version 2.6.23-l4 (root@l4) (gcc version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)) #3 Tue Oct 30 157 dm_phys: 0000000000c00000 - 0000000004c00000 (usable) dm_phys: 0000000000800000 - 0000000000a00000 (usable) 68MB memory available. Zone PFN ranges: DMA 0 -> 2560 Normal 2560 -> 19456 Movable zone start PFN for each node early_node_map[1] active PFN ranges 0: 0 -> 19456 Allocating PCI resources starting at 10000000 (gap: 00a00000:ff600000) Built 1 zonelists in Zone order. Total pages: 19304 Kernel command line: earlyprintk=yes console=ttyLv0 init=/bin/sh mem=64M video=l4fb root=/dev/hda8 ro Initializing CPU#0 PID hash table entries: 512 (order: 9, 2048 bytes) Detected 2790.722 MHz processor. Console: colour VGA+ 80x25 l4ser_init_ports l4ser: input not enabled! console [ttyLv0] enabled Dentry cache hash table entries: 16384 (order: 4, 65536 bytes) Inode-cache hash table entries: 8192 (order: 3, 32768 bytes) Memory: 65776k/77824k available (2350k kernel code, 1752k reserved, 721k data, 236k init, 0k highmem) virtual kernel memory layout: fixmap : 0xffffb000 - 0xfffff000 ( 16 kB) vmalloc : 0x08000000 - 0x10000000 ( 128 MB) lowmem : 0x00000000 - 0x04c00000 ( 76 MB) .init : 0x00704000 - 0x0073f000 ( 236 kB) .data : 0x0064bb9c - 0x0070009c ( 721 kB) .text : 0x00400000 - 0x0064bb9c (2350 kB) l4lx_irq_timer_startup(0) l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) timer_irq_thread: Starting timer IRQ thread. Calibrating delay using timer specific routine.. 5583.02 BogoMIPS (lpj=27915100) Mount-cache hash table entries: 512 CPU: Trace cache: 12K uops, L1 D cache: 8K CPU: L2 cache: 512K Compat vDSO mapped to bfc08000. CPU: Intel(R) Pentium(R) 4 CPU 2.80GHz stepping 09 Checking 'hlt' instruction... l4lx | Jumping over 4x 'hlt' at 0x70d47e OK. stop_nmi called restart_nmi called NET: Registered protocol family 16 PCI: Using configuration type 1 Setting up standard PCI resources SCSI subsystem initialized PCI: Probing PCI hardware PCI quirk: region 1000-107f claimed by ICH4 ACPI/GPIO/TCO PCI quirk: region 1180-11bf claimed by ICH4 GPIO PCI: Transparent bridge - 0000:00:1e.0 l4lx | idler0: utcb=0xbff00400 0f.04 l4lx | l4lx_thread_create: Created thread 0f.06 (idler) PCI: Bridge: 0000:00:1e.0 IO window: 2000-2fff MEM window: c0100000-c01fffff PREFETCH window: disabled. NET: Registered protocol family 2 Time: tsc clocksource has been installed. IP route cache hash table entries: 1024 (order: 0, 4096 bytes) TCP established hash table entries: 4096 (order: 3, 32768 bytes) TCP bind hash table entries: 4096 (order: 2, 16384 bytes) TCP: Hash tables configured (established 4096 bind 4096) TCP reno registered io scheduler noop registered io scheduler anticipatory registered (default) io scheduler deadline registered io scheduler cfq registered __l4x_ioremap: Requested region at c0080000 [0x400 Bytes] __l4x_ioremap: Mapping physaddr c0080000 [0x400 Bytes, c0080000+000400] to 04c00000+000000 __l4x_ioremap: Requested region at c0100000 [0x8 Bytes] __l4x_ioremap: Mapping physaddr c0100000 [0x8 Bytes, c0100000+001000] to 04c01000+000000 PCI: Firmware left 0000:02:08.0 e100 interrupts enabled, disabling L4 serial driver l4ser_init_ports l4ser: input not enabled! ttyLv0 at MMIO 0x1 (irq = 0) is a L4 RAMDISK driver initialized: 16 RAM disks of 4096K size 1024 blocksize Intel(R) PRO/1000 Network Driver - version 7.3.20-k2 Copyright (c) 1999-2006 Intel Corporation. pcnet32.c:v1.33 27.Jun.2006 tsbogend(a)alpha.franken.de eepro100.c:v1.09j-t 9/29/99 Donald Becker eepro100.c: $Revision: 1.36 $ 2000/11/17 Modified by Andrey V. Savochkin < saw(a)saw.sw.com.sg> and others __l4x_ioremap: Requested region at c0100000 [0x1000 Bytes] __l4x_ioremap: Mapping physaddr c0100000 [0x1000 Bytes, c0100000+001000] to 04c02000+000000 eth0: OEM i82557/i82558 10/100 Ethernet, 00:0D:60:35:8F:53, IRQ 3. Board assembly 000000-000, Physical connectors present: RJ45 Primary interface chip i82555 PHY #1. General self-test: passed. Serial sub-system self-test: passed. Internal registers self-test: passed. ROM checksum self-test: passed (0x04f4518b). Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2 ide: Assuming 33MHz system bus speed for PIO modes; override with idebus=xx ICH4: IDE controller at PCI slot 0000:00:1f.1 ICH4: chipset revision 1 ICH4: not 100% native mode: will probe irqs later ide0: BM-DMA at 0x1860-0x1867, BIOS settings: hda:DMA, hdb:pio ide1: BM-DMA at 0x1868-0x186f, BIOS settings: hdc:DMA, hdd:pio hda: ST340014A, ATA DISK drive l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. l4lx | l4lx_thread_create: Created thread 0f.07 (IRQ14) ide0 at 0x1f0-0x1f7,0x3f6 on irq 14 hdc: LTN486S, ATAPI CD/DVD-ROM drive l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ15) ide1 at 0x170-0x177,0x376 on irq 15 hda: max request size: 512KiB hda: 78156288 sectors (40016 MB) w/2048KiB Cache, CHS=16383/255/63, UDMA(100) hda: cache flushes supported hda: hda1 hda2 < hda5 hda6 hda7 hda8 hda9 > hdc: ATAPI 48X CD-ROM drive, 120kB Cache, UDMA(33) Uniform CD-ROM driver Revision: 3.20 l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 12. l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ12) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ1) serio: i8042 KBD port at 0x60,0x64 irq 1 serio: i8042 AUX port at 0x60,0x64 irq 12 TCP cubic registered NET: Registered protocol family 1 NET: Registered protocol family 17 Using IPI Shortcut mode input: AT Translated Set 2 keyboard as /class/input/input0 kjournald starting. Commit interval 5 seconds EXT3-fs: mounted filesystem with ordered data mode. VFS: Mounted root (ext3 filesystem) readonly. Failed to execute 2. Attempting defaults... INIT: version 2.86 booting Clocksource tsc unstable (delta = 95826122 ns) Time: jiffies clocksource has been installed. * udev requires hotplug support, not started. failed! Activating swap...Adding 1052216k swap on /dev/hda7. Priority:-1 extents:1 across:1052216k done. Checking root file system...fsck 1.40-WIP (14-Nov-2006) /dev/hda8: clean, 90992/635232 files, 656505/1269127 blocks done. EXT3 FS on hda8, internal journal Setting the system clock.. modprobe: FATAL: Could not load /lib/modules/2.6.23-l4/modules.dep: No such file or directory Cleaning up ifupdown.... Loading kernel modules...FATAL: Could not load /lib/modules/2.6.23-l4/modules.dep: No such file or directory Loading device-mapper support. Checking file systems...fsck 1.40-WIP (14-Nov-2006) /dev/hda9: clean, 117549/478080 files, 483560/955859 blocks done. Setting kernel variables...done. Mounting local filesystems...kjournald starting. Commit interval 5 seconds EXT3 FS on hda9, internal journal EXT3-fs: mounted filesystem with ordered data mode. done. Activating swapfile swap...done. Setting up networking.... Configuring network interfaces...done. Setting console screen modes and fonts. INIT: Entering runlevel: 2 Starting system log daemon: syslogd. Starting kernel log daemon: klogd. * Not starting internet superserver: no services enabled. Starting OpenBSD Secure Shell server: sshd. Starting periodic command scheduler: crond. ------------------------------------------------------------------------------------ We have found there is a error hint in this message:l4ser: input not enabled!,but we can't find out what caused this,does it the key to our problem? And the linux26.cfg we used as follow: ----------------------------------------------------------------------------------- modpath "(hda0,7)/boot/L4Linux/" task "vmlinux" " earlyprintk=yes console=ttyLv0 init=/bin/sh mem=64M video=l4fb root=/dev/hda8 ro" all_sects_writable allow_cli ----------------------------------------------------------------------------------- And our Grub config is: ----------------------------------------------------------------------------------- title L4Linux26/Fiasco-test-23 root (hd0,7) kernel /boot/test-23/bootstrap modaddr 0x06000000 module /boot/test-23/main -nowait -nokdb -serial -serial_esc -comspeed 115200 -comport 1 module /boot/test-23/sigma0 module /boot/test-23/roottask task modname "bmodfs" attached 4 modules module /boot/test-23/events module /boot/test-23/names --events module /boot/test-23/log --events module /boot/test-23/dm_phys --isa=0x00800000 -v --events module /boot/test-23/simple_ts -t 300 --events module /boot/test-23/rtc --events module /boot/test-23/l4io --noirq --events module /boot/test-23/omega0 --l4io module /boot/test-23/loader --fprov=BMODFS linux26.cfg module /boot/test-23/bmodfs module /boot/test-23/vmlinuz module /boot/test-23/linux26.cfg module /boot/test-23/libloader.s.so module /boot/test-23/libld-l4.s.so ---------------------------------------------------------------------------------- Any help is musch appreciated! Ding Ying Best Regards!

2 1

Trouble with semaphore library
by Marc CHALAND 24 Oct '07

24 Oct '07

Hello, I encounter strange problems with semaphore library from l4env. I use a vanillia revision 230 on an intel PIII architecture. After some debugging and tracing, I get the following scenarion : 1. thread 03 of my process calls a semaphore down timed which then calls BLOCKTIMED IPC to semaphore thread 02. So semaphore structure is: counter = -1 pending = 0 queue = 03 2. thread 08 calls semaphore_up inline assembler code. Before IPC call, the semaphore structure is as follow : counter = 0 pending = 0 queue = 03 3. Thread 03 gains the CPU after timeout and calls IPC RELEASETIMED : counter = 1 pending = 0 queue = empty 4. Thread 02 doesn't find thread into queue, so that pending is set to 1. counter = 1 pending = 1 queue = empty 5. Thread 03 calls semaphore_down. No IPC is called. counter = 0 pending = 1 queue = empty 6. Thread 03 calls semaphore_down again and IPC BLOCK is called. IPC awakes imediately 03 with a counter value of -1 and nobody into queue. counter = -1 pending = 0 queue = empty It seems to me that this state is not normal. Do you agree ? Is this scenario possible as I observe clearly state 4 5 and 6 ? What pending is for ? Thanks in advance for your answers. Marc

3 8

Re: l4-hackers Digest, Vol 54, Issue 9
by 丁莹 17 Oct '07

17 Oct '07

2007/10/16, l4-hackers-request(a)os.inf.tu-dresden.de < l4-hackers-request(a)os.inf.tu-dresden.de>: > > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)os.inf.tu-dresden.de > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of l4-hackers digest..." > > > Today's Topics: > > 1. Re: The keyboard problems (Adam Lackorzynski) > 2. Re: L4Linux and weird newlines (Adam Lackorzynski) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 16 Oct 2007 00:30:30 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: The keyboard problems > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20071015223030.GR19315(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Mon Oct 15, 2007 at 12:18:37 +0800, ???? wrote: > > My keyboard is the normal ps/2 AT keyboard and I have enabled the all > kind > > of keyboard drivers in l4linux,but the things again,the state is that I > have > > logged in the l4linux and the prompt have appeared,but the cursor is > > flashing in the head of the prompt,not in the back of the #.And I have > try > > the init=/bin/sh option in my command line ,but the keyboard isn't > working > > as before.The attachment is my l4linux's configuration file.Thanks a lot > for > > you help! > > So, looking at the config file, you neither have VGA_CONSOLE switched on > nor L4_FB_DRIVER. So how does your setup look like? I guess that's why > you're actually not seeing anything really useful on the screen. So how > about enabling VGA_CONSOLE? > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ I hava enabled the VGA_CONSOLE,and could saw some chang when starting,just like some words's color turned normal,but the keyboard didn't working sitll.Then I enable the L4_FB_DRIVER,but it can't compile right,the error message like this: arch/l4/kernel/main.c:80:5: warning: #warning WARNING: L4FB enabled and also CONFIG_SERIO_I8042 or CONFIG_SERIO_LIBPS2 or CONFIG_VGA_CONSOLE arch/l4/kernel/main.c:81:5: error: #error WARNING: This is usually not wanted. make[1]: *** [arch/l4/kernel/main.o] error 1 make: *** [arch/l4/kernel] error 2 and I used ubuntu-6.06 with gcc version gcc-4.0.3. There seems some problem in my configuration,but I can't solve it. Could you show me with your l4linux config file? Best Regards! ding ------------------------------ > > Message: 2 > Date: Tue, 16 Oct 2007 00:32:50 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: L4Linux and weird newlines > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20071015223250.GS19315(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > Hi, > > On Mon Oct 15, 2007 at 09:38:35 +0200, Stefan Scheler wrote: > > I'm getting lots of weird newlines in L4Linux. Where do they come from > > and how do I turn them of? Here's a simple example which shows the > problem: > > > > localhost ~ # dd if=/dev/urandom of=/dev/null count=100 > > 100+0 records in > > 100+0 records out > > 51200 bytes (51 kB) copied, 0.0262116 s, 2.0 MB/s > > localhost ~ # dd if=/dev/urandom of=/dev/null count=1000 > > > > > > 1000+0 records in > > 1000+0 records out > > 512000 bytes (512 kB) copied, 0.274718 s, 1.9 MB/s > > localhost ~ # dd if=/dev/urandom of=/dev/null count=2000 > > > > > > > > 2000+0 records in > > 2000+0 records out > > > > 1024000 bytes (1.0 MB) copied, 0.580115 s, 1.8 MB/s > > localhost ~ # > > > > The higher the count value is, the more new lines I get. It's often > > impossible to see any actual output messages. > > I'm occasionally seeing this with slow hosts on Fiasco-UX. What's your > setup? > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > End of l4-hackers Digest, Vol 54, Issue 9 > ***************************************** >

2 1

L4Linux and weird newlines
by Stefan Scheler 17 Oct '07

17 Oct '07

Hello, I'm getting lots of weird newlines in L4Linux. Where do they come from and how do I turn them of? Here's a simple example which shows the problem: localhost ~ # dd if=/dev/urandom of=/dev/null count=100 100+0 records in 100+0 records out 51200 bytes (51 kB) copied, 0.0262116 s, 2.0 MB/s localhost ~ # dd if=/dev/urandom of=/dev/null count=1000 1000+0 records in 1000+0 records out 512000 bytes (512 kB) copied, 0.274718 s, 1.9 MB/s localhost ~ # dd if=/dev/urandom of=/dev/null count=2000 2000+0 records in 2000+0 records out 1024000 bytes (1.0 MB) copied, 0.580115 s, 1.8 MB/s localhost ~ # The higher the count value is, the more new lines I get. It's often impossible to see any actual output messages. Any help greatly appreciated. -- Stefan Scheler

2 3

about the L4Linux scheduler
by Lin 17 Oct '07

17 Oct '07

Hello. I have some questions about the scheduler system on DROPS L4Linux. I would like your help or some hints. The version of my source is ... DROPS SVN revision : 205 L4Linux SVN revision : 61 Fiasco version : 1.2 L4Linux version : 2.6.22 In L4Linux system (on L4Env), there are two schedulers (in Fiasco and in Linux server), you know. Some papers say any Linux user process consists of L4 task and the L4 shceduler schedules all L4 thread. It is ok, but I can't understand the work of the Linux scheduler. In fact, a new thread is created in L4 when a process (has one thread) is created in Linux, and the active thread is changed when the context switch occurs in Linux server (made sure by using Fiasco JDB). I want to make this relation clear. In other words, what does the Linux scheduler do at these time. 1. Task creating ~~~~~~~~~~~~~~~~ When "fork()" (or such functions) is called, the function: l4x_setup_next_exec (in "arch/l4/kernel/arch-i386/dispatch.c") may be called. This function seems push the argument function "ret_from_fork" to the stack of the new "task_struct" instance to execute it first when the task is scheduled. Then, when "fork()" ends (when "do_fork()" returns), the new "task_struct" instance is created in Linux system. At this time, is the L4 thread (task ?) corresponds to that "task_struct" is not created yet ? (I assume it is created after the "task_struct" is scheduled.) 2. Linux server's scheduling ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In L4Linux task, there are 7 threads and IRQ threads: (1)l4lx.rm (2)l4lx.sem (3)l4lx.main (4)l4lx.tamer (5)l4lx.cpu0 (6)l4lx.timer.i0 (7)l4lx.idler ... "l4lx.main" creates "l4lx.cpu0" (Linux server) and waits this end. "l4lx.cpu0" does many initialization in the function "start_kernel()", and then it reaches at the function: l4x_idle (in "arch/l4/kernel/dispatch.c"). In this function, the Linux server creates the thread "l4lx.idler" and then enters the scheduling and IPC waiting loop. What does this function do ?? (My expectation about it is written in 4.) And more, What is the thread "l4lx.idler" used for ?? 3. Scheduled new Linux task ~~~~~~~~~~~~~~~~~~~~~~~~~~~ The function "switch_to()" (depends on L4 arch) in Linux kernel only saves and restores the registers ESI, ..., ESP, and EIP. So, when all new created "task_struct"s are scheduled by the Linux server, they runs from "ret_from_fork" as the Linux server thread. (Is it right ?) ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^ "ret_from_fork" reaches at the function: l4x_user_dispatcher (in "arch/l4/kernel/dispatch.c"). It calls "l4x_spawn_cpu_thread()" before its loop. I assume it creates the new L4 thread corresponds to the now scheduled "task_struct" in Linux server. And, the loop in "l4x_user_dispatcher" seems to reply or wait page fault, exception and system call IPCs from any L4 thread runs as a Linux user task. What does this loop do in fact ?? When the context switch occurs in Linux server for some reasons, the active L4 thread is also switched almost at the same time. (I see it by using "ps" on Linux and the thread list of JDB on L4.) I want to know the mechanism of this synchronization. 4. Summary ~~~~~~~~~~ My main quiestions is ... (1) What is "l4lx.idler" created for ? (in 2) (2) What does the function "l4x_idle" do ? (in 2) (3) Do all Linux user tasks ("task_struct" instance) only execute "l4x_user_dispatcher" (from "ret_from_fork") as the Linux server ? (in 1 and 3) (4) What does the function "l4x_user_dispatcher" do ? How to switch contexts in Linux and in L4 almost at the same time ? (in 3) My expectation about Linux scheduling system is the following: - When there is no need to reschedule Linux user processes, Linux server is in IPC sleep and waiting the wakeup IPC in "l4x_idle". - If Linux server gets IPC for some reasons, it wakes up and check the IPC sender. Then, if the sender is a thread corresponds to certain Linux task, Linux server wakes up this Linux task and reschedules by calling "schedule()". - The waked up task will be active as Linux server. This context may execute only "l4x_user_dispatcher" which replies and wait IPCs and handles page faults and exceptions based on information of the received IPC. - When the L4 thread of the Linux task exits, that Linux task in Linux (task_struct instance) also is freed. If there is no schedulable task in Linux at that time, the original context (executes "l4x_idle") is re-scheduled. If you find my incorrect understanding, please tell me. Sorry for my poor English and lengthy question. I'm glad if you give me some hints or corrections. Regards, Lin (a college student in Japan)

2 5

The keyboard problems
by 丁莹 16 Oct '07

16 Oct '07

Hi,adam! My keyboard is the normal ps/2 AT keyboard and I have enabled the all kind of keyboard drivers in l4linux,but the things again,the state is that I have logged in the l4linux and the prompt have appeared,but the cursor is flashing in the head of the prompt,not in the back of the #.And I have try the init=/bin/sh option in my command line ,but the keyboard isn't working as before.The attachment is my l4linux's configuration file.Thanks a lot for you help! Best Regards! ding

2 1

why the keyboard can't use?
by 丁莹 14 Oct '07

14 Oct '07

Hi!all I recompiled l4linux-2.6.22 and disabled any dope options,then started l4linux in console ttyLv0,38400,and the prompt appeared,but the keybodard can't using.I have choosed the keyboard options,but the problem is still,what problem causing that?Everyone know this,please help me!Thanks a lot! Best Regards!

2 1

what console options should using in the linux26.cfg
by 丁莹 14 Oct '07

14 Oct '07

Hi!all When I want to start the l4linux in serial port and used console options as this:console=ttyS0,115200,There is some strange message appeared both in serial port and native screen as follow: io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.22-l4 (cheng@dingy-desktop) (gcc version 4.0.3(Ubu l4lx : ntu 4.0.3-1ubuntu5)) #3 Wed Oct 10 11:43:39 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (6 args): earlyprintk=yes console=ttyS0,115200 in l4lx : it=2 mem=64M root=/dev/hda2 ro l4lx | Console output set to ttySx. Not recommended. And then I changed console options in linux26.cfg to:console=ttyLv0,38400,It showed the right l4 start message just like: ............................................................................................. l4lx | l4lx_irq_dev_startup_hw:Starting IRQ thread for IRQ 12. l4lx | l4lx_thread_create:Created thread 0f.0a(IRQ12) l4lx | l4lx_irq_dev_startup_hw:Starting IRQ thread for IRQ 1. l4lx | l4lx_thread_create:Created thread 0f.0a(IRQ1) l4lx | l4lx_irq_dev_startup_hw:Starting IRQ thread for IRQ 11. l4lx | l4lx_thread_create:Created thread 0f.0a(IRQ11) in last,but It can't turn to the l4linux starting,What the problem? Eeveryone know this please help me,Thanks a lot! Best Regards!

2 1

Fwd: The problem of grub-0.97 install
by li fei 14 Oct '07

14 Oct '07

---------- Forwarded message ---------- From: li fei <tezuka158(a)gmail.com> Date: 2007-10-12 下午12:00 Subject: The problem of grub-0.97 install To: l4 <l4-hackers(a)os.inf.tu-dresden.de> Hi!all, When I compiled the grub, I met some problems. I patched the patches which I down from the http://os.inf.tu-dresden.de/~adam/grub/0.97/<http://os.inf.tu-dresden.de/%7Eadam/grub/0.97/> . I patched the patches from the grub-0.97-os.1.diff to the grub-0.97-grub-0.97-os.5.diff, and I found they all have mistakes, the error from the grub-0.97-os.2.diff to the grub-0.97-os.5 were the same.Below are the errors: pre_stage2_exec-bios.o : In function `get_cdinfo': /home/l4/Desktop/grub-0.97/stage2/bios.c:179: undefined reference to `__stack_chk_fail' pre_stage2_exec-bios.o: In function `get_diskinfo': /home/l4/Desktop/grub- 0.97/stage2/bios.c:317: undefined reference to `__stack_chk_fail' pre_stage2_exec-boot.o: In function `load_image': /home/l4/Desktop/grub-0.97/stage2/boot.c:759: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o: In function `blocklist_func': /home/l4/Desktop/grub-0.97/stage2/builtins.c:224: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o: In function `embed_func': /home/l4/Desktop/grub-0.97/stage2/builtins.c:1191: undefined reference to `__stack_chk_fail' pre_stage2_exec-builtins.o:/home/l4/Desktop/grub-0.97/stage2/builtins.c:1350: more undefined references to `__stack_chk_fail' follow collect2: ld returned 1 exit status make[2]: *** [pre_stage2.exec] Error 1 make[2]: Leaving directory `/home/l4/Desktop/grub-0.97/stage2' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/l4/Desktop/grub- 0.97' make: *** [all] Error 2 And the error when I patched the grub-0.97-os.1.diff is different. The error is below: builtins.c: In function 'vbeset_func': builtins.c :4891: warning: pointer targets in passing argument 1 of 'get_vbe_pmif' differ in signedness builtins.c:4891: warning: pointer targets in passing argument 2 of 'get_vbe_pmif' differ in signedness builtins.c: In function 'toggle_func': builtins.c:5463: error: invalid storage class for function 'process_var' builtins.c:5463: warning: no previous prototype for 'process_var' builtins.c:5523: error: invalid storage class for function 'process_block' builtins.c:5523: warning: no previous prototype for 'process_block' builtins.c: In function 'toggle_trigger_init': builtins.c:5744: error: invalid storage class for function 'detect_vmware' builtins.c:5744: warning: no previous prototype for 'detect_vmware' make[2]: *** [pre_stage2_exec- builtins.o] Error 1 make[2]: Leaving directory `/home/l4/grub-0.97/stage2' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/l4/grub-0.97' make: *** [all] Error 2 I compiled the grub under the ubuntu 7.04 environment, using the gcc-4.1.2and g++- 4.1.2.

2 1

Capability based L4
by Luke A. Guest 08 Oct '07

08 Oct '07

Hi, I'm interested in seeing how capabilities work in a real OS kernel and was wondering if there is any source or documents available that I could read? Preferably not the Haskell stuff as I just don't get it :( Is there an implementation of L4.sec? The spec seems like it's missing stuff, is there an update anywhere? Thanks, Luke.

2 1

Re: the problems of l4linux
by Adam Lackorzynski 08 Oct '07

08 Oct '07

On Wed Sep 19, 2007 at 09:01:38 +0000, chenggh wrote: > > Looks the same as the other mail. Enter helps? Actually, what do you > > expect to see? :) > Thanks. > I also read another mail with the same situation. I use Slackware 12.0 not > Ubuntu because in Ubuntu there is a glibc bug which has been existed at least > for more than half year - "undefined reference to __stack_chk_fail". This bug > has been reported many times and has committed to the Ubuntu Bug List. But > bug is as before. That's no bug, it's a stack protection feature they use. I didn't really care because I do not use Ubuntu myself but I think we have to work around this. > The first question: > the l4 boot log is like this: > l4lx | l4lx_thread_create: Created thread 10.16 (IRQ5) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 4. > l4lx | l4lx_thread_create: Created thread 10.17 (IRQ4) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 3. > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 2. > l4lx | acquire_irq: Error attaching to IRQ 2 > l4lx | l4lx_thread_create: Created thread 10.19 (IRQ2) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. > l4lx | acquire_irq: Error attaching to IRQ 1 > It seems that when attaching IRQ1, IRQ2, IRQ9, IRQ12 there are some errors > like "acquire_irq: Error attaching to IRQ x". But later attaching IRQ is ok. > What is the matter? IRQ1 and IRQ12 are related with keyboard and monse, IRQ2 > is related with cascade, IRQ9 is about acpi. I have removed these drivers > from linux. why is it also like this? Think about who is supposed to have these IRQs. Keyboard and Mouse are already taken by the windowing/console system, so Linux can obviously not get them. So it is really ok that attaching those IRQs fail, it's supposed to be like this. > The second problem is: > The Linux booting stops at /ect/random-seed to initialize /dev/urandom and > there is no login interface. I have checked the normal linux booting and > after the using /ect/random-seed to initialize /dev/urandom the linux will > finish booting kernel, enter the linux user space "INIT: Entering init X". > So I think it is still the problem of l4linux kernel not the special linux > distribution. Is it right? Same question: Is your Slackware starting a login on tty1? What happens with normal Linux? You may want to disable your X for the test and check your /etc/inittab. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 1

cvs down?
by Bérczi Gábor 07 Oct '07

07 Oct '07

Greets, cvs [update aborted]: connect to os.inf.tu-dresden.de(141.76.48.99): 2401 failed: Connection refused -- Bérczi Gábor (Gabucino / ex-MPlayer Core Team) http://www.gabucino.be/

2 2

l4linux-2.6.22 starting
by 丁莹 07 Oct '07

07 Oct '07

Hi,everyone: Is there anybody have started the latest l4linux-2.6.22 on slackware 12.0? I do the job these days,but I couldn't start it,and the problem is strange.When I start the l4linux ,the dope is OK and the l4linux has started ,but finally the l4linux will stop with following error message: l4dope | SharedMem(get_adr): address = 0x21000 l4dope | dope: paddr=88000000 size=8000KiB l4dope | Mapped video memory at 88000000 to 00800000+000000 [8000kB] via L4IO l4dope | mapping: vaddr=0x800000 size=8192000(0x7d0000) offset=0(0x0) l4dope | Frame buffer base: 0x800000 l4dope | Resolution: 1024x768x16 l4dope | Bytes per scanline: 2048 l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0 l4dope | SharedMem(alloc): hl.raw=100000, id=82, size=96000 l4dope | SharedMem(get_adr): address = 0x400000 l4lx | l4lx_thread_create: Created thread 0f.08 (DOpE refresher) l4lx | l4lx_thread_create: Created thread 0f.09 (L4DOpEinput) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ14) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ15) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 12. l4lx | acquire_irq: Error attaching to IRQ 12 l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ12) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1. l4lx | acquire_irq: Error attaching to IRQ 1 l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ1) l4dope | atkbd.c: Spurious ACK on isa0060/serio0. Some program, like XFree86, l4dope : might be trying access hardware directly. l4dope | atkbd.c: Spurious ACK on isa0060/serio0. Some program, like XFree86, l4dope : might be trying access hardware directly. l4dope | atkbd.c: Spurious ACK on isa0060/serio0. Some program, like XFree86, l4dope : might be trying access hardware directly. l4dope | atkbd.c: Spurious ACK on isa0060/serio0. Some program, like XFree86, l4dope : might be trying access hardware directly. And I have disable the keyboard and mouse when compiling the l4linux.Butwhen I put this binary which compilered on slackware 12.0 to ubuntu 6.06,the l4linux-2.6.22 started ,and some other people have tested it on Qmenu,its also started ,my binary have put to the ftp://mirror.lzu.edu.cn/temp.Everyone who intresting in it could test it. So may be it is the problem with slackware 12.0 inittab? But I can't fix it,i am just a new both in l4linux and linux.The slackware 12.0 inittab is as follow: # # inittab This file describes how the INIT process should set up # the system in a certain run-level. # # Version: @(#)inittab 2.04 17/05/93 MvS # 2.10 02/10/95 PV # 3.00 02/06/1999 PV # 4.00 04/10/2002 PV # # Author: Miquel van Smoorenburg, <miquels(a)drinkel.nl.mugnet.org> # Modified by: Patrick J. Volkerding, <volkerdi(a)slackware.com> # # These are the default runlevels in Slackware: # 0 = halt # 1 = single user mode # 2 = unused (but configured the same as runlevel 3) # 3 = multiuser mode (default Slackware runlevel) # 4 = X11 with KDM/GDM/XDM (session managers) # 5 = unused (but configured the same as runlevel 3) # 6 = reboot # Default runlevel. (Do not set to 0 or 6) id:5:initdefault: # System initialization (runs when system boots). si:S:sysinit:/etc/rc.d/rc.S # Script to run when going single user (runlevel 1). su:1S:wait:/etc/rc.d/rc.K # Script to run when going multi user. rc:2345:wait:/etc/rc.d/rc.M # What to do at the "Three Finger Salute". ca::ctrlaltdel:/sbin/shutdown -t5 -r now # Runlevel 0 halts the system. l0:0:wait:/etc/rc.d/rc.0 # Runlevel 6 reboots the system. l6:6:wait:/etc/rc.d/rc.6 # What to do when power fails. pf::powerfail:/sbin/genpowerfail start # If power is back, cancel the running shutdown. pg::powerokwait:/sbin/genpowerfail stop # These are the standard console login getties in multiuser mode: c1:1235:respawn:/sbin/agetty 38400 tty1 linux c2:1235:respawn:/sbin/agetty 38400 tty2 linux c3:1235:respawn:/sbin/agetty 38400 tty3 linux c4:1235:respawn:/sbin/agetty 38400 tty4 linux c5:1235:respawn:/sbin/agetty 38400 tty5 linux c6:12345:respawn:/sbin/agetty 38400 tty6 linux # Local serial lines: #s1:12345:respawn:/sbin/agetty -L ttyS0 9600 vt100 #s2:12345:respawn:/sbin/agetty -L ttyS1 9600 vt100 # Dialup lines: #d1:12345:respawn:/sbin/agetty -mt60 38400,19200,9600,2400,1200 ttyS0 vt100 #d2:12345:respawn:/sbin/agetty -mt60 38400,19200,9600,2400,1200 ttyS1 vt100 # Runlevel 4 used to be for an X window only system, until we discovered # that it throws init into a loop that keeps your load avg at least 1 all # the time. Thus, there is now one getty opened on tty6. Hopefully no one # will notice. ;^) # It might not be bad to have one text console anyway, in case something # happens to X. x1:4:respawn:/etc/rc.d/rc.4 export XMODIFIERS="@im=fcitx" export XIM=fcitx # End of /etc/inittab Everybody know this please give me a help,Thanks a lot! Best Regards!

2 1

Re: the problems of l4linux
by chenggh 01 Oct '07

01 Oct '07

> When using ttyLv0 as a console you also need to start a getty there, > similar to an ttyS0 entry. Otherwise no login prompt will appear there. > My inittab looks a bit different but I don't see some obvious reasons > why yours isn't popping up a login-prompt on tty1, at least on the first > glance. > Just booting to single user mode works? Not yet. This time without dope in ttyLv0 the booting log is: proc on /proc type proc (rw) sysfs on /sys type sysfs (rw) Starting udevd: /sbin/udevd --daemon error initializing netlink socket Triggering udev events: /sbin/udevtrigger Adding 491864k swap on /dev/hda1. Priority:-1 extents:1 across:491864k Setting system time from the hardware clock (localtime). Testing root filesystem status: read-write filesystem *** ERROR: Root partition has already been mounted read-write. Cannot check! For filesystem checking to work properly, your system must initially mount the root partition as read only. Please modify your kernel with 'rdev' so that it does this. If you're booting with LILO, add a line: read-only to the Linux type 'lilo' to reinstall it. If you boot from a kernel on a floppy disk, put it in the drive and type: rdev -R /dev/fd0 1 If you boot from a bootdisk, or with Loadlin, you can add the 'ro' flag. This will fix the problem *AND* eliminate this annoying message Press ENTER to continue. But now I can't use keyboard. I have tried to make l4linux with keyboard module and without keyboard module twice. I can't still use keyboard, too. What is the matter? Cheng Guanghui

2 1

Jump to page:

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