- l4-hackers - example.com Site

l4linux starting problem
by 丁莹 18 Sep '07

18 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 18 Sep '07

18 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 17 Sep '07

17 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