- l4-hackers - example.com Site

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

The ultimate HOW-TO
by ComputerScienceStudent 01 Oct '07

01 Oct '07

<?xml version="1.0" encoding="UTF-8"?> @page { size: 20.999cm 29.699cm; margin-top: 2cm; margin-bottom: 2cm; margin-left: 2cm; margin-right: 2cm } table { border-collapse:collapse; border-spacing:0; empty-cells:show } td, th { vertical-align:top; } h1, h2, h3, h4, h5, h6 { clear:both } ol, ul { padding:0; } * { margin:0; } *.Caption { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0.212cm; margin-bottom:0.212cm; font-style:italic; } *.Heading { font-family:'Albany AMT'; font-size:14pt; margin-top:0.423cm; margin-bottom:0.212cm; } *.Index { font-family:'Thorndale AMT'; font-size:12pt; } *.List { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0cm; margin-bottom:0.212cm; } *.P1 { font-family:'Thorndale AMT'; font-size:12pt; } *.P2 { font-family:'Thorndale AMT'; font-size:12pt; } *.P3 { font-family:'Thorndale AMT'; font-size:12pt; margin-left:1.251cm; margin-right:0cm; text-indent:0cm; } *.P4 { font-family:'Thorndale AMT'; font-size:12pt; margin-left:0cm; margin-right:0cm; text-indent:0cm; } *.Standard { font-family:'Thorndale AMT'; font-size:12pt; } *.Textbody { font-family:'Thorndale AMT'; font-size:12pt; margin-top:0cm; margin-bottom:0.212cm; } *.BulletSymbols { font-family:StarSymbol; font-size:9pt; } *.NumberingSymbols { } *.T1 { vertical-align:sup; } *.T2 { } Hi all!! These are the sources that I've downloaded (and where I've placed them): /root/l4-linux-2.6 /root/l4-linux-2.6-env /root/fiasco /root/l4env /root/hello I want to install L4Linux creating an entry on GRUB, because I've to work also with Suse 10.2 and Windows XP (the OSs installed on my notebook), but I haven't do anything similar in my own life! My question is: how to install L4Linux? Meaning: How to compiling, building and in what order? How to modifying the GRUB bootloader to preserve my old configuration of OSs? What I would like to have is that at the boot, the bootloader ask me if I want to go in Suse, Windows or L4Linux.. Thank a lot for every suggestion you'll give me!! PS. Once that I've do all my jobs -is a research for an universitary course- can I return to have only Suse 10.2 and Windows XP? -- View this message in context: http://www.nabble.com/The-ultimate-HOW-TO-tf4192072.html#a11921435 Sent from the L4 mailing list archive at Nabble.com.

3 46

error report
by chenggh 26 Sep '07

26 Sep '07

Hi: When compiling dde_linux26 there are some errors like this: In file included from /home/L4/tudos/l4/build/include/x86/l4/linux-26-headers/asm/thread_info.h:16, from /home/L4/tudos/l4/build/include/l4/linux-26-headers/linux/thread_info.h:21, from /home/L4/tudos/l4/build/include/l4/dde_linux26/linux/spinlock.h:12, from /home/L4/tudos/l4/build/include/l4/linux-26-headers/linux/mmzone.h:8, from /home/L4/tudos/l4/build/include/l4/linux-26-headers/linux/gfp.h:4, from /home/L4/tudos/l4/build/include/l4/dde_linux26/linux/slab.h:15, from /home/L4/tudos/l4/pkg/dde_linux26/lib/src/mm.c:46: /home/L4/tudos/l4/build/include/x86/l4/linux-26-headers/asm/processor.h:86: error: array type has incomplete element type make[3]: *** [mm.o] Error 1 make[3]: Leaving directory `/home/L4/tudos/l4/build/pkg/dde_linux26/lib/src/OBJ-x86_586-l4v2' make[2]: *** [/home/L4/tudos/l4/build/pkg/dde_linux26/lib/src/OBJ-x86_586-l4v2] Error 2 make[2]: Leaving directory `/home/L4/tudos/l4/pkg/dde_linux26/lib/src' make[1]: *** [src] Error 2 make[1]: Leaving directory `/home/L4/tudos/l4/pkg/dde_linux26/lib' make: *** [lib] Error 2 Cheng Guanghui

4 3

Re: the problems of l4linux
by Adam Lackorzynski 22 Sep '07

22 Sep '07

On Thu Sep 20, 2007 at 17:59:41 +0000, chenggh wrote: > > > __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. > Yes, basically it is not a bug but I should have used fno-stack-protector to > fix the problem. But later I found although I use fno-stack-protector the > problem is still. I google the key word __stack_chk_fail and there are lots > of people with same problem as me. So I think it is a bug of glic problem. If google finds many pages with something this doesn't mean all those pages show the truth just because they are so many. Using -fno-stack-protector is fine as long as _all_ code is compiled with this option. When linking against code that is built _with_ the stack-protection feature enabled that compile time option won't help you. This happens e.g. when linking against libraries supplied by gcc. On Ubuntu those libraries are built with the stack protection feature enabled. To fix this you either rebuild gcc-libs with stack protection or provide those symbols. The latter seems far more convenient. > > > 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. > Thanks. I think I should read the l4linux code and later if I encouter the > similar question I could understand. :) > > > 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. > Not ,the problem is also. I disable X and try to boot l4linux on ttyLv0. The > Linux also stops here "/ect/random-seed to initialize /dev/urandom". There is > an attachment which is my inittab. 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? > # > # 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:3: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 > > # End of /etc/inittab > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

O.S. question
by huang 22 Sep '07

22 Sep '07

dear Adam: Could you tell me the debain version that you are using now! And are there any other things about compilation environment I should pay attentation to? I want to use the same compilation environment as yours! :) thanks a lot! Best wishes! huang

2 1

Re: the problems of l4linux
by chenggh 20 Sep '07

20 Sep '07

> > __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. Yes, basically it is not a bug but I should have used fno-stack-protector to fix the problem. But later I found although I use fno-stack-protector the problem is still. I google the key word __stack_chk_fail and there are lots of people with same problem as me. So I think it is a bug of glic problem. > > 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. Thanks. I think I should read the l4linux code and later if I encouter the similar question I could understand. :) > > 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. Not ,the problem is also. I disable X and try to boot l4linux on ttyLv0. The Linux also stops here "/ect/random-seed to initialize /dev/urandom". There is an attachment which is my inittab. Thanks. Cheng Guanghui

1 0

Re: l4-hackers Digest, Vol 53, Issue 22
by 丁莹 20 Sep '07

20 Sep '07

2007/9/19, 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 ultimate HOW-TO (Adam Lackorzynski) > 2. Re: l4linux starting problem (Adam Lackorzynski) > 3. Re: the problems of l4linux (Adam Lackorzynski) > 4. Re: the problems of l4linux (chenggh) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 19 Sep 2007 00:11:06 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: The ultimate HOW-TO > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20070918221106.GD19315(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Tue Sep 18, 2007 at 08:05:18 -0700, ComputerScienceStudent wrote: > > > > Maybe this is the longest email you'll receive, but I would give you all > the > > possible informations. > > There are three sections: > > - THE MAKE ERRORS > > - L4LINUX CONFIGURATION > > - HARDWARE INFO. > > Ok, looks like you took your Linux configuration from your host (or the > configuration system did so). Please use the default configuration > coming with L4Linux by starting with 'make x86-native_defconfig'. And > then those errors won't occur. > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > Message: 2 > Date: Wed, 19 Sep 2007 00:17:25 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: l4linux starting problem > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20070918221725.GE19315(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Tue Sep 18, 2007 at 17:34:07 +0800, ???? wrote: > > 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 11. > > l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ11) > > 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.0d (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.0e (IRQ1) > > > > And the dope when starting after following message then dead. > > > > Checking non-root filesystems: > > fsck 1.39 (29-May-2006) > > /dev/hda10:clean, 135991/667808 files,510175/1333387 blocks > > Mounting non-root local filesystems: > > kjournald starting. Commit interval 5 seconds > > EXT3 FS on hda10, internal journal > > EXT3-fs: mounted filesystem with ordered data mode. > > /dev/hda10 on /home type ext3(rw) > > Using /etc/random-seed to initialize /dev/urandom. > > > > How can I solve this problem?Anybody who knows please help me,Thanks! > > Well, userland starts, can't be too bad. Is that Ubuntu? Does a login > prompt appear when you press Enter a bit? > I wonder how the bootup looks like on native Linux (with X disabled). > > No,I use the slackware 12.0,the l4linux system dead when output above > message,so when press enter there is no response,the native Linux when > bootup after this will indicate message: INIT:enter runlevel 3. Best Regards! Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > Message: 3 > Date: Wed, 19 Sep 2007 00:19:29 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: the problems of l4linux > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20070918221929.GF19315(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Tue Sep 18, 2007 at 22:02:16 +0000, chenggh wrote: > > Hi: > > I boot l4dope with l4linux. The dope seems ok but l4linux doesn't > start > > completely. I am not sure whether it is l4 problem or linux problem. > Please > > help me. > > > > The l4 boot log > > l4dope | Frame buffer base: 0x4000000 > > 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 > > l4lx | ======> L4Linux 2.6 starting... <======== > > l4lx | Linux version 2.6.22-l4 (root@darkstar) (gcc version 4.1.2) #1 > Tue > > Se > > l4lx : p 18 16:36:23 CST 2007 > > l4lx | Binary name: vmlinuz > > l4lx | Kernel command line (5 args): earlyprintk=yes video=l4fb > init=1 > > mem=6 > > l4lx : 4M root=/dev/hda2 > > l4lx | Image: 00400000 - 007a3000 [3724 KiB]. > > l4lx | Areas: Text: 00400000 - 006ad000 > [2740k | Initdata: > > 006cc000 - 00700000 [208kB] > > l4lx | BSS: 00702000 - 007a0f00 [635kB] > > l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) > > l4lx | Tamer0 is 10.03 > > l4lx | Using tamed mode. > > l4lx | Connecting to l4io server. > > l4lx | l4env_linux_startup thread 4. > > l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) > > l4lx | main thread will be 10.04 > > l4lx | l4env_register_pointer_section: addr = 00400000 size = 3149824 > > l4lx | sec-w-init: virt: 0x00400000 to 0x00700fff [3076 KiB] > > l4lx | Noncontiguous region for sec-w-init > > l4lx | sec-w-init: Number of physical regions: 3, 3149824 Bytes > > l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01218000, > Size: 1630208 > > l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: > 946176 > > l4lx | sec-w-ini 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: 0x08c00000 to 0x0cc00000, Size: > 67108864 > > l4lx | Filling lower ptabs... > > l4lx | Done (1594 entries). > > l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) > > l4lx | Jumpinl4lx | idler0d_create: Created threadl4lx | > Startil4dope > > | SharedMem(allo0 > > l4lx | l4lx_thread_create: Created thread 10.08 (DOpE refresher) > > l4lx | l4lx_thread_create: Created thread 10.09 (L4DOpEinput) > > l4lx | l4lx_iRQ 17. > > l4lx |startup_hw: Starting IRQ16) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. > > l4lx | l4lx_thread_create: Created thread 10.0c (IRQ15) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. > > l4lx tup_hw: Starting IRQ thread for IRQ 13. > > l4lx | l4lx_ting IRQ thread for IRQ 12. > > l4lx | acquire_irq: Error attaching to IRQ 12 > > l4lx | l4lx_thread_create: Created thread 10.0f (IRQ12) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. > > l4lx | l4lx_thread_create: Created thread 10.10 (IRQ11) > > l4lx | l4lx_irq_dev_startp_hw: Starting IRQ thread | > > l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9. > > l4lx | l4lx_thread_create: Created thread 10.12 (IRQ9) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8. > > l4lx | l4lx_thread_create: Created thread 10.13 (IRQ8) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7. > > l4lx | l4lx_thread_create: Created thread 10.14 (IRQ7) > > l4lx | l4lx_irq_dev_startup_hw: Starting thread for IRQ 6. > > l4lx | l4lx_thread_create: Created thread 10.15 (IRQ6) > > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5. > > 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 > > > > I don't know what these information stands for. Are all the > necessary > > interrupt threads ok? Or some of them is not ok. > > Seems ok. Some IRQ probing, 1, 2 and 12 are not allowed which is > perfectly ok. > > > the linux boot log > > ?????? > > EXTS FS on hda3, internal journal > > EXT-fs: mounted filesystem with orderred data mode > > /dev/hda3 on /home type ext3 (rw) > > using /ect/random-seed to initialize /dev/urandom > > > > The linux could stop here even I wait lot of time. It doesn't go > on. > > Looks the same as the other mail. Enter helps? Actually, what do you > expect to see? :) > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > Message: 4 > Date: Wed, 19 Sep 2007 09:01:38 +0000 > From: chenggh <chenggh04(a)st.lzu.edu.cn> > Subject: Re: the problems of l4linux > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <390158225.18632(a)st.lzu.edu.cn> > Content-Type: text/plain; charset="iso-8859-1" > > > 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. > 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? > > > 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? > Thank you very much. > Cheng > Guanghui > > > > ------------------------------ > > _______________________________________________ > 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 53, Issue 22 > ****************************************** >

2 1

Re: the problems of l4linux
by chenggh 19 Sep '07

19 Sep '07

> 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. 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? 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? Thank you very much. Cheng Guanghui

1 0

Re: the problems of l4linux
by Adam Lackorzynski 19 Sep '07

19 Sep '07

On Tue Sep 18, 2007 at 22:02:16 +0000, chenggh wrote: > Hi: > I boot l4dope with l4linux. The dope seems ok but l4linux doesn't start > completely. I am not sure whether it is l4 problem or linux problem. Please > help me. > > The l4 boot log > l4dope | Frame buffer base: 0x4000000 > 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 > l4lx | ======> L4Linux 2.6 starting... <======== > l4lx | Linux version 2.6.22-l4 (root@darkstar) (gcc version 4.1.2) #1 Tue > Se > l4lx : p 18 16:36:23 CST 2007 > l4lx | Binary name: vmlinuz > l4lx | Kernel command line (5 args): earlyprintk=yes video=l4fb init=1 > mem=6 > l4lx : 4M root=/dev/hda2 > l4lx | Image: 00400000 - 007a3000 [3724 KiB]. > l4lx | Areas: Text: 00400000 - 006ad000 [2740k | Initdata: > 006cc000 - 00700000 [208kB] > l4lx | BSS: 00702000 - 007a0f00 [635kB] > l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) > l4lx | Tamer0 is 10.03 > l4lx | Using tamed mode. > l4lx | Connecting to l4io server. > l4lx | l4env_linux_startup thread 4. > l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) > l4lx | main thread will be 10.04 > l4lx | l4env_register_pointer_section: addr = 00400000 size = 3149824 > l4lx | sec-w-init: virt: 0x00400000 to 0x00700fff [3076 KiB] > l4lx | Noncontiguous region for sec-w-init > l4lx | sec-w-init: Number of physical regions: 3, 3149824 Bytes > l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01218000, Size: 1630208 > l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 > l4lx | sec-w-ini 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: 0x08c00000 to 0x0cc00000, Size: 67108864 > l4lx | Filling lower ptabs... > l4lx | Done (1594 entries). > l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) > l4lx | Jumpinl4lx | idler0d_create: Created threadl4lx | Startil4dope > | SharedMem(allo0 > l4lx | l4lx_thread_create: Created thread 10.08 (DOpE refresher) > l4lx | l4lx_thread_create: Created thread 10.09 (L4DOpEinput) > l4lx | l4lx_iRQ 17. > l4lx |startup_hw: Starting IRQ16) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. > l4lx | l4lx_thread_create: Created thread 10.0c (IRQ15) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. > l4lx tup_hw: Starting IRQ thread for IRQ 13. > l4lx | l4lx_ting IRQ thread for IRQ 12. > l4lx | acquire_irq: Error attaching to IRQ 12 > l4lx | l4lx_thread_create: Created thread 10.0f (IRQ12) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. > l4lx | l4lx_thread_create: Created thread 10.10 (IRQ11) > l4lx | l4lx_irq_dev_startp_hw: Starting IRQ thread | > l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9. > l4lx | l4lx_thread_create: Created thread 10.12 (IRQ9) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8. > l4lx | l4lx_thread_create: Created thread 10.13 (IRQ8) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7. > l4lx | l4lx_thread_create: Created thread 10.14 (IRQ7) > l4lx | l4lx_irq_dev_startup_hw: Starting thread for IRQ 6. > l4lx | l4lx_thread_create: Created thread 10.15 (IRQ6) > l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5. > 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 > > I don't know what these information stands for. Are all the necessary > interrupt threads ok? Or some of them is not ok. Seems ok. Some IRQ probing, 1, 2 and 12 are not allowed which is perfectly ok. > the linux boot log > ¡£¡£¡£ > EXTS FS on hda3, internal journal > EXT-fs: mounted filesystem with orderred data mode > /dev/hda3 on /home type ext3 (rw) > using /ect/random-seed to initialize /dev/urandom > > The linux could stop here even I wait lot of time. It doesn't go on. Looks the same as the other mail. Enter helps? Actually, what do you expect to see? :) Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

l4linux starting problem
by 丁莹 19 Sep '07

19 Sep '07

Hi,all: I have meet a problem when I starting l4linux-2.6.22,the error message get from serial port as follow: 4dope | serio: i8042 AUX port at 0x60,0x64 irq 12 l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.22-l4 (root@licy03) (gcc version 4.1.2) #6 Tue Sep l4lx : 18 16:16:49 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (5 args): earlyprintk=yes mem=64M video=l4fb root l4lx : =/dev/hda9 ro l4lx | Image: 00400000 - 007ac000 [3760 KiB]. l4lx | Areas: Text: 00400000 - 006ae000 [2744kB] (a bit longer) l4lx | Data: 006ae000 - 006cbf9c [119kB] l4lx | Initdata: 006ce000 - 00709000 [236kB] l4lx | BSS: 0070a000 - 007a9200 [636kB] 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 = 00400000 size = 3850240 l4lx | sec-w-init: virt: 0x00400000 to 0x007abfff [3760 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 4, 3850240 Bytes l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01215000, Size: 1617920 l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | sec-w-init: 3: Phys: 0x01345000 to 0x01400000, Size: 765952 l4lx | sec-w-init: 4: Phys: 0x01281000 to 0x01300000, Size: 520192 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: 0x0a800000 to 0x0e800000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1584 entries). l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | Jumping over 4x 'hlt' at 0x6d6eab l4lx | idler0: utcb=0xbff00400 0f.04 l4lx | l4lx_thread_create: Created thread 0f.06 (idler) l4lx | Starting L4FB via DOpE l4dope | input: ImPS/2 Generic Wheel Mouse on isa0060/serio1 l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0 l4dope | input: PC Speaker l4dope | input: L4 input event injector l4dope | L4 input event injector: IRQ handler up l4dope | connect "ImPS/2 Generic Wheel Mouse", isa0060/serio1/input0 l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 l4dope | connect "PC Speaker", isa0061/input0 l4dope | connect "L4 input event injector", l4/sys l4dope | SharedMem(alloc): hl.raw=100000, id=69, size=800 l4dope | SharedMem(get_adr): address = 0x6000 l4dope | SharedMem(alloc): hl.raw=100000, id=6a, size=800 l4dope | SharedMem(get_adr): address = 0x7000 l4dope | SharedMem(alloc): hl.raw=100000, id=6b, size=800 l4dope | SharedMem(get_adr): address = 0xd000 l4dope | SharedMem(alloc): hl.raw=100000, id=6c, size=800 l4dope | SharedMem(get_adr): address = 0xe000 l4dope | SharedMem(alloc): hl.raw=100000, id=6d, size=800 l4dope | SharedMem(get_adr): address = 0xf000 l4dope | SharedMem(alloc): hl.raw=100000, id=6f, size=800 l4dope | SharedMem(get_adr): address = 0x16000 l4dope | SharedMem(alloc): hl.raw=100000, id=70, size=800 l4dope | SharedMem(get_adr): address = 0x17000 l4dope | SharedMem(alloc): hl.raw=100000, id=75, size=484 l4dope | SharedMem(get_adr): address = 0x21000 l4dope | dope: paddr=f0000000 size=131072KiB l4dope | Mapped video memory at f0000000 to 08000000+000000 [131072kB] via L4I l4dope : O l4dope | mapping: vaddr=0x8000000 size=134217728(0x8000000) offset=0(0x0) l4dope | Frame buffer base: 0x8000000 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=80, 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 11. l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ11) 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.0d (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.0e (IRQ1) And the dope when starting after following message then dead. Checking non-root filesystems: fsck 1.39 (29-May-2006) /dev/hda10:clean, 135991/667808 files,510175/1333387 blocks Mounting non-root local filesystems: kjournald starting. Commit interval 5 seconds EXT3 FS on hda10, internal journal EXT3-fs: mounted filesystem with ordered data mode. /dev/hda10 on /home type ext3(rw) Using /etc/random-seed to initialize /dev/urandom. How can I solve this problem?Anybody who knows please help me,Thanks! Best Regards!

2 1

the problems of l4linux
by chenggh 19 Sep '07

19 Sep '07

Hi: I boot l4dope with l4linux. The dope seems ok but l4linux doesn't start completely. I am not sure whether it is l4 problem or linux problem. Please help me. The l4 boot log l4dope | Frame buffer base: 0x4000000 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 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.22-l4 (root@darkstar) (gcc version 4.1.2) #1 Tue Se l4lx : p 18 16:36:23 CST 2007 l4lx | Binary name: vmlinuz l4lx | Kernel command line (5 args): earlyprintk=yes video=l4fb init=1 mem=6 l4lx : 4M root=/dev/hda2 l4lx | Image: 00400000 - 007a3000 [3724 KiB]. l4lx | Areas: Text: 00400000 - 006ad000 [2740k | Initdata: 006cc000 - 00700000 [208kB] l4lx | BSS: 00702000 - 007a0f00 [635kB] l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) l4lx | Tamer0 is 10.03 l4lx | Using tamed mode. l4lx | Connecting to l4io server. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) l4lx | main thread will be 10.04 l4lx | l4env_register_pointer_section: addr = 00400000 size = 3149824 l4lx | sec-w-init: virt: 0x00400000 to 0x00700fff [3076 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 3, 3149824 Bytes l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x01218000, Size: 1630208 l4lx | sec-w-init: 2: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | sec-w-ini 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: 0x08c00000 to 0x0cc00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1594 entries). l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) l4lx | Jumpinl4lx | idler0d_create: Created threadl4lx | Startil4dope | SharedMem(allo0 l4lx | l4lx_thread_create: Created thread 10.08 (DOpE refresher) l4lx | l4lx_thread_create: Created thread 10.09 (L4DOpEinput) l4lx | l4lx_iRQ 17. l4lx |startup_hw: Starting IRQ16) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15. l4lx | l4lx_thread_create: Created thread 10.0c (IRQ15) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14. l4lx tup_hw: Starting IRQ thread for IRQ 13. l4lx | l4lx_ting IRQ thread for IRQ 12. l4lx | acquire_irq: Error attaching to IRQ 12 l4lx | l4lx_thread_create: Created thread 10.0f (IRQ12) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11. l4lx | l4lx_thread_create: Created thread 10.10 (IRQ11) l4lx | l4lx_irq_dev_startp_hw: Starting IRQ thread | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9. l4lx | l4lx_thread_create: Created thread 10.12 (IRQ9) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8. l4lx | l4lx_thread_create: Created thread 10.13 (IRQ8) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7. l4lx | l4lx_thread_create: Created thread 10.14 (IRQ7) l4lx | l4lx_irq_dev_startup_hw: Starting thread for IRQ 6. l4lx | l4lx_thread_create: Created thread 10.15 (IRQ6) l4lx | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5. 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 I don't know what these information stands for. Are all the necessary interrupt threads ok? Or some of them is not ok. the linux boot log 。。。 EXTS FS on hda3, internal journal EXT-fs: mounted filesystem with orderred data mode /dev/hda3 on /home type ext3 (rw) using /ect/random-seed to initialize /dev/urandom The linux could stop here even I wait lot of time. It doesn't go on. the menu.lst title L4LinuxDope root (hd0,1) kernel /boot/L4/l4dopelinux/bootstrap modaddr 0x06000000 module /boot/L4/l4dopelinux/main -nowait -nokdb -serial -comspeed 115200 -comport 1 module /boot/L4/l4dopelinux/sigma0 module /boot/L4/l4dopelinux/roottask task modname "bmodfs" attached 4 modules module /boot/L4/l4dopelinux/events module /boot/L4/l4dopelinux/names module /boot/L4/l4dopelinux/log module /boot/L4/l4dopelinux/dm_phys --isa=0x00800000 -v --events module /boot/L4/l4dopelinux/simple_ts -t 300 --events module /boot/L4/l4dopelinux/rtc --events module /boot/L4/l4dopelinux/l4io --events module /boot/L4/l4dopelinux/omega0 --l4io module /boot/L4/l4dopelinux/l4dope --l4io --menubar --transparency module /boot/L4/l4dopelinux/loader --fprov=BMODFS linux26.cfg module /boot/L4/l4dopelinux/bmodfs module /boot/L4/l4dopelinux/libld-l4.s.so module /boot/L4/l4dopelinux/vmlinuz module /boot/L4/l4dopelinux/linux26.cfg module /boot/L4/l4dopelinux/libloader.s.so vbeset 0x117 506070 There is attachment which includes l4linux configuration. Thanks. Cheng Guanghui

1 0

Re: launch benchmark
by chenggh 18 Sep '07

18 Sep '07

> I use this bootloader: > title Fiasco, Console, Loader, Tiny Shell (run) > root (hd0,2) > kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 > module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 > -comport 1 module /boot/fiasco_mod/sigma0 > module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules > module /boot/fiasco_mod/names > module /boot/fiasco_mod/log > module /boot/fiasco_mod/dm_phys > module /boot/fiasco_mod/l4io > module /boot/fiasco_mod/con -vbemode 0x117 > module /boot/fiasco_mod/simple_ts -t 300 > module /boot/fiasco_mod/bmodfs > module /boot/fiasco_mod/run > module /boot/fiasco_mod/libloader.s.so > module /boot/fiasco_mod/libld-l4.s.so > module /boot/fiasco_mod/loader --fprov=BMODFS run > > I have to compare l4 with ecos. I want to use lmbench, bonnie++ and > AIM-suite9, my questions are: - How can I use those benchmarks when I boot > Fiasco? I think lmbench, bonnie++ and AIM-suite9 are not suitable when you compare l4/fiasco with ecos although they are real-time operating systems. L4 itself is not linux binary compatible but l4linux could provide full linux binary comptability. And these benchmark tools must run on the linux-binary-compatible system such as BSD,UNIX, etc. So we could compare l4linux with linux by using lmbench, bonnie++ and AIM-suite9. Although ecos could provide many linux APIs but it is still not linux binary compatible. In common we can't compile these tools on the ecos so the benchmark is impossible. Additonal lmbench, bonnie++ and AIM-suite9 are designed for the general purpose operating system. From the result we could know the average performance of the system. Therefore, if you want to compare l4 with ecos you could take these two system as real-time systems and you should get some data showing real-time performance such as jitter, responsing time, etc. But there is no benchmark tool which could cover these two platforms : l4 and ecos. So you have to write your application for this goal. Thanks Cheng Guanghui

1 0

Re: launch benchmark
by chenggh 18 Sep '07

18 Sep '07

On Tuesday 18 September 2007 07:34, Davide Fasoli wrote: > > Where do I put the benchmark to use it in L4 Fiasco console? > > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui > > Where do I put the benchmark to use it in L4 Fiasco console? I use this bootloader: title Fiasco, Console, Loader, Tiny Shell (run) root (hd0,2) kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 -comport 1 module /boot/fiasco_mod/sigma0 module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules module /boot/fiasco_mod/names module /boot/fiasco_mod/log module /boot/fiasco_mod/dm_phys module /boot/fiasco_mod/l4io module /boot/fiasco_mod/con -vbemode 0x117 module /boot/fiasco_mod/simple_ts -t 300 module /boot/fiasco_mod/bmodfs module /boot/fiasco_mod/run module /boot/fiasco_mod/libloader.s.so module /boot/fiasco_mod/libld-l4.s..so module /boot/fiasco_mod/loader --fprov=BMODFS run I have to compare l4 with ecos. I want to use lmbench, bonnie++ and AIM-suite9, my questions are: - How can I use those benchmarks when I boot Fiasco? - Where can I put those benchmarks for use them when I boot Fiasco? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

Re: launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> > How can I launch the benchmark in the L4 Fiasco console? > > What benchmark is that? What requirements does it have? > The benchmark is lmbench, bonnie++ and AIM-suite9 > Maybe what you say is my paper named "General Performance Assesement of the L4/Fiasco Microkernel". In this paper I use lmbench, bonnie++ and AIM-suite9. But I don't use lmbench, bonnie++ and AIM-suite9 to test the Fiasco itself but test the the performace loss between l4linux-2.6.16 and linux-2.6.16. In this benchmark I login into l4linux with a console because in this way we could ignore the effection of graphic interface for performance loss. It is not complex but only a confiugration problem. If you want to login l4linux with console you could use the configuration file like this: modpath "(hd0,2)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=256M" root=/dev/hda3" all_sects_writable Is this clear? Thanks. Cheng Guanghui > > Where do I put the benchmark to use it in L4 Fiasco console? I use this bootloader: title Fiasco, Console, Loader, Tiny Shell (run) root (hd0,2) kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 -comport 1 module /boot/fiasco_mod/sigma0 module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules module /boot/fiasco_mod/names module /boot/fiasco_mod/log module /boot/fiasco_mod/dm_phys module /boot/fiasco_mod/l4io module /boot/fiasco_mod/con -vbemode 0x117 module /boot/fiasco_mod/simple_ts -t 300 module /boot/fiasco_mod/bmodfs module /boot/fiasco_mod/run module /boot/fiasco_mod/libloader.s.so module /boot/fiasco_mod/libld-l4.s.so module /boot/fiasco_mod/loader --fprov=BMODFS run I have to compare l4 with ecos. I want to use lmbench, bonnie++ and AIM-suite9, my questions are: - How can I use those benchmarks when I boot Fiasco? - Where can I put those benchmarks for use them when I boot Fiasco? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

> Where do I put the benchmark to use it in L4 Fiasco console? > How can I launch the benchmark in the L4 Fiasco console? What benchmark is that? What requirements does it have? The benchmark is lmbench, bonnie++ and AIM-suite9 Davide Fasoli L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

launch benchmark
by Davide Fasoli 18 Sep '07

18 Sep '07

I'm sorry for my mistake. I've found a benchmark to use. I've got a questions: Where do I put the benchmark to use it in L4 Fiasco console? How can I launch the benchmark in the L4 Fiasco console? Thanks for your help. Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

L4 benchmaks
by Davide Fasoli 14 Sep '07

14 Sep '07

Because in the last discussion ("ipcmon error") I requested if there are benchmarks to compare L4 with eCos, and they asked me for what I needed them. ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

l4 benchmarks
by Davide Fasoli 14 Sep '07

14 Sep '07

I'd like to measure: - execution time; - system time; - memory consumption; Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

L4 benchmarks
by Davide Fasoli 14 Sep '07

14 Sep '07

No, I haven't any chance...I'm sorry Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

ipcmon
by Davide Fasoli 13 Sep '07

13 Sep '07

Thankyou for your help, L4 is ready. I've a questions, there are some benchmark can I use with L4 and eCos, for comparative test? Thanks a lot. Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

3 2