- l4-hackers - example.com Site

where are the headers?
by Alan Grimes 20 Jul '06

20 Jul '06

I'm planning out how to port Minix to L4 and I can't find any of the hearders. http://tudos.de/l4env/doc/html/bid-tut/node2.html I have CVS'd just about everything on your downloads page yet ./l4/include, ./l4/lib and ./l4/bin do not exist. I feel that many of the choices regarding the layout of the source code and the usage of the more sophisticated tools only serve to obfuscate the system to new users. =( -- Don't let your schoolwork get in the way of your learning. ### NEW E-MAIL: agrimes(a)speakeasy.net ###

7 9

gdb on Fiasco
by FERANDELLE Pascal 13 Jul '06

13 Jul '06

I took a copy of the floppy demo image on the Fiasco site, and try to use gdb on fiasco, from a PC/Linux with serial line, and gdb 6.4. I create a new grub entry to launch fiasco without the flags -noserial, -nowait and -nokdb, and the hello module. Boot seems ok, I suppose fiasco enters kdb and waits for a connexion from the serial line. On the PC/Linux, I launch gdb, and enter commands : set remotebaud 115200 target remote /dev/ttyS0 A dialog seems to establish with the target as I have the messages : Remote debugging using /dev/ttyS0 Sending packet: $Hc-1#09...Ack Packet received: Sending packet: $qC#b4...Ack Packet received: Sending packet: $qOffsets#4b...Ack Packet received: Sending packet: $?#3f...Ack Packet received: S05 Sending packet: $Hg0#df...Ack Packet received: Sending packet: $p8#a8...Ack Packet received: Sending packet: $g#67...Ack Packet received: 0000000001000000041e03 Sending packet: $m0,8#01...Ack Timed out. Timed out. Timed out. ... but the PC running Fiasco is resetting !!! Any information will be helpful ... Thanks Pascal

2 1

Running L4Linux on fiasco-ux?
by Michael J. Emswiler 05 Jul '06

05 Jul '06

Is it possible to run l4linux under fiasco-ux with X-11 apps? I am just testing various scenarios and playing around getting familiar with how things work. Here is the command I tried and the results : ./fiasco -G 1024x768@16 -m 256 -l names -l "dm_phys --mem=0x01400000,0x0a000000,0xffffffff" -l l4dope-ux -l l4ovlwm -l "vmlinuz26.ux mem=128M root=/dev/hda1 no-scroll" And the end result was: <snip> Roottask: Loading 5 modules. #05: loading "names" from [0ea3f000-0ea8440c] to [002d0000-002d776a][002d8000-002e4000] entry at 0000d360 via trampoline page code symbols at [0ea86000-0ea88000] (8kB), lines at [0da56000-0da5d000] (28kB) #06: loading "dm_phys --mem=0x01400000,0x0a000000,0xffffffff" from [0e9b3000-0ea3ed22] to [01500000-015130ca][01514000-0151e000] entry at 0000e388 via trampoline page code symbols at [0ea81000-0ea86000] (20kB), lines at [0ea73000-0ea81000] (56kB) #07: loading "l4dope-ux" from [0e874000-0e9b2c6a] to [01b00000-01b374cc][01b38000-01b7e000] entry at 0000f364 via trampoline page code symbols at [0ea67000-0ea73000] (48kB), lines at [0ea41000-0ea67000] (152kB) #08: loading "l4ovlwm" from [0e7c4000-0e873519] to [00b30000-00b49c34][00b4a000-00b78000] entry at 00010360 via trampoline page code symbols at [0ea3b000-0ea41000] (24kB), lines at [0ea27000-0ea3b000] (80kB) #09: loading "vmlinuz26.ux mem=128M root=/dev/hda1 no-scroll" from [0da5d000-0e7c37fb] to [00400000-0061880c][00619000-006585ac] [0065a000-0068c090][0068e000-00704000] entry at 00011388 via trampoline page code symbols at [0e98d000-0ea27000] (616kB), lines at [0e80a000-0e98d000] (1548kB) ROOT: task 9.00 at 00407db0 is trying to get page 00000000 which is reserved --double page fault---------------------------------ESP:001ac54c EIP:00137246 (4.00) jdb: ^ I realize it may not be best to run l4linux directly off /dev/hda1 that way ... but this is a dedicated test system. I will be directly booting into drops on that machine, once I figure out how to configure grub to do it :-) -- Thanks, MikeE ------------------------------------------------------- -- Thanks, MikeE

3 2

Re: panic in L4Linux booting process
by Adam Lackorzynski 04 Jul '06

04 Jul '06

On Tue Jul 04, 2006 at 23:07:37 +0800, chenggh wrote: > # module (hd0,1)/boot/faisco_L4/con -l4io -cpuload --events > # module (hd0,1)/boot/fiasco_L4/tftp -i > module (hd0,1)/boot/fiasco_L4/bmodfs --events > module (hd0,1)/boot/fiasco_L4/vmlinuz26 > module (hd0,1)/boot/fiasco_L4/linux26.cfg > module (hd0,1)/boot/fiasco_L4/libloader.s.so > # module (hd0,1)/boot/fiasco_L4/ramdisk.rd > module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS linux26.cfg > > Now there is no panic error. But there is no more information to be > output. The minicom log is like this: > > l4lx | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw) > l4lx | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw) > l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) > l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) > l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) > l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) > > When executing here the light of harddisk would flush very frequently. > Later the light stop flushing and nothing could be output. That sounds good, I guess. The system is booting and when it's done the disk LEDs go out. But you need some sort of output. In your grub configuration you have disabled con, i.e. you have the plain VGA output, right? For that, you also need to have enabled the VGA option in Linux (CONFIG_VGA_CONSOLE). When you use con, you should enable the framebuffer driver (CONFIG_L4_FB_DRIVER). When using con you also need to set the video mode in the grub entry, i.e. just add vbeset 0x117 to your grub entry you're booting. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Re: panic in L4Linux booting process
by chenggh 04 Jul '06

04 Jul '06

On Tuesday 04 July 2006 18:18, Adam Lackorzynski wrote: > On Tue Jul 04, 2006 at 12:18:41 +0800, chenggh wrote: > > #2 00660b4f : mount_block_root + 0x8f > > /home/chenggh/test/l4linux-2.6/init/do_mounts.c:312 > > #3 00660d87 : mount_root + 0x87 > > /home/chenggh/test/l4linux-2.6/init/do_mounts.c:386 > > Now I see it, the Linux is not configured at all and thus does not know > which root filesystem to mount and panics. > I.e. you cannot only write: > > module (hd0,1)/boot/fiasco_L4/bmodfs --events > module (hd0,1)/boot/fiasco_L4/vmlinuz26 > module (hd0,1)/boot/fiasco_L4/libloader.s.so > module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26 > > because that only loads the bare vmlinuz26 file without any > kernel command line configuration. Depending on what you want to do > (e.g. use a ramdisk or boot from disk) your configuration should more > look like: > > module (hd0,1)/boot/fiasco_L4/bmodfs --events > module (hd0,1)/boot/fiasco_L4/vmlinuz26 > module (hd0,1)/boot/fiasco_L4/linux26.cfg > module (hd0,1)/boot/fiasco_L4/libloader.s.so > module (hd0,1)/boot/fiasco_L4/ramdisk.rd > module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS linux26.cfg > > > The linux26.cfg file should look like: > > modpath "(hd0,1)/boot/fiasco_L4" > task "vmlinuz26" "earlyprintk=yes mem=64M root=1:0 load_ramdisk=1 > ramdisk_size=2100 l4env_rd=ramdisk.rd" > > If you want to boot from disk, something like this could work: > > modpath "(hd0,1)/boot/fiasco_L4" > task "vmlinuz26" "earlyprintk=yes mem=64M root=/dev/hda1" > > Then you do not need to load the ramdisk, of course. I modify my grub menu.list like this: title fiasco_L4Linux-2.6 kernel (hd0,1)/boot/fiasco_L4/bootstrap modaddr 0x06000000 module (hd0,1)/boot/fiasco_L4/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module (hd0,1)/boot/fiasco_L4/sigma0 module (hd0,1)/boot/fiasco_L4/roottask task modname "bmodfs" attached 3 modules module (hd0,1)/boot/fiasco_L4/events module (hd0,1)/boot/fiasco_L4/names -events module (hd0,1)/boot/fiasco_L4/log module (hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events module (hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events module (hd0,1)/boot/fiasco_L4/rtc --events module (hd0,1)/boot/fiasco_L4/l4io -noirq --events module (hd0,1)/boot/fiasco_L4/l4exec --events # module (hd0,1)/boot/faisco_L4/con -l4io -cpuload --events # module (hd0,1)/boot/fiasco_L4/tftp -i module (hd0,1)/boot/fiasco_L4/bmodfs --events module (hd0,1)/boot/fiasco_L4/vmlinuz26 module (hd0,1)/boot/fiasco_L4/linux26.cfg module (hd0,1)/boot/fiasco_L4/libloader.s.so # module (hd0,1)/boot/fiasco_L4/ramdisk.rd module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS linux26.cfg Now there is no panic error. But there is no more information to be output. The minicom log is like this: Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Jun 1 13:35:11 2006 compiled with gcc 3.3.6 for AMD Athlon Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 188kB for maintenance structures. Roottask. 491071kB ( 479MB) total RAM (reported by bootloader) 427892kB ( 418MB) received RAM from Sigma0 23276kB ( 23MB) 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 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:3 Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB) Roottask: Loading 13 modules. #05: loading "(hd0,1)/boot/fiasco_L4/events" from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954] entry at 00061078 via trampoline page code symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB) #06: loading "(hd0,1)/boot/fiasco_L4/names -events" from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000] entry at 00062080 via trampoline page code symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB) #07: loading "(hd0,1)/boot/fiasco_L4/log" from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0] entry at 00063074 via trampoline page code symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB) #08: loading "(hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events" from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000] entry at 00064094 via trampoline page code symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] (56kB) #09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events" from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0] entry at 0006508c via trampoline page code symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] (32kB) #0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events" from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000] entry at 0006607c via trampoline page code symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB) #0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events" from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000] entry at 00067084 via trampoline page code symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] (104kB) #0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events" from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000] entry at 00068080 via trampoline page code symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] (116kB) #0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events" from [06610000-066b110a] to [01220000-0123706a][01238000-01258000] passing module (hd0,1)/boot/fiasco_L4/vmlinuz26 [ 066b2000-074b66ce ] passing module (hd0,1)/boot/fiasco_L4/linux26.cfg [ 074b7000-074b705b ] passing module (hd0,1)/boot/fiasco_L4/libloader.s.so [ 074b8000-0755b661 ] entry at 00069120 via trampoline page code symbols at [1b887000-1b88c000] (20kB), lines at [1b875000-1b887000] (72kB) #0e: loading "(hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS linux26.cfg" from [0755c000-076406f5] to [01300000-0132792a][01328000-01353000] entry at 0006a094 via trampoline page code symbols at [1b86e000-1b875000] (28kB), lines at [1b854000-1b86e000] (104kB) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc | Date:04.07.2006 Time:21:19:06 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x1dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x1dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x0013a000 7 12 MAPPED DMphys | 0x0013a000-0x001d2000 -- -- DENIED DMphys | 0x001d2000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e4000 -- -- DENIED DMphys | 0x002e4000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043c000 -- -- DENIED DMphys | 0x0043c000-0x009e8000 7 12 MAPPED DMphys | 0x009e8000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00bf1000 -- -- DENIED DMphys | 0x00bf1000-0x00c00000 0 12 MAPPED DMphys | 0x00c00000-0x01000000 0 22 MAPPED DMphys | 0x01000000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108b000 -- -- DENIED DMphys | 0x0108b000-0x01100000 0 12 MAPPED DMphys | 0x01100000-0x0114e000 -- -- DENIED DMphys | 0x0114e000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01258000 -- -- DENIED DMphys | 0x01258000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01353000 -- -- DENIED DMphys | 0x01353000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01416000 -- -- DENIED DMphys | 0x01416000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151d000 -- -- RESERVED DMphys | 0x0151d000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0154e000 -- -- DENIED DMphys | 0x0154e000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x066b2000 0 12 MAPPED DMphys | 0x066b2000-0x0755c000 -- -- DENIED DMphys | 0x0755c000-0x07800000 0 12 MAPPED DMphys | 0x07800000-0x1b800000 0 22 MAPPED DMphys | 0x1b800000-0x1b854000 0 12 MAPPED DMphys | 0x1b854000-0x1dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 424112KB total, 424112KB free, 32KB reserved DMphys | 0x009e8000-0x00b80000 ( 1632KB, 2MB) DMphys | 0x00bf1000-0x01080000 ( 4668KB, 5MB) DMphys | 0x0108b000-0x01100000 ( 468KB, 0MB) DMphys | 0x0114e000-0x01220000 ( 840KB, 1MB) DMphys | 0x01258000-0x01300000 ( 672KB, 1MB) DMphys | 0x01353000-0x01400000 ( 692KB, 1MB) DMphys | 0x01416000-0x01500000 ( 936KB, 1MB) DMphys | 0x0151d000-0x01540000 ( 140KB, 0MB) DMphys | 0x0154e000-0x066b2000 ( 83344KB, 81MB) DMphys | 0x0755c000-0x1b854000 (330720KB, 323MB) DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x0013a000 ( 232KB, 0MB) DMphys | 0x001d2000-0x002d0000 ( 1016KB, 1MB) DMphys | 0x002e4000-0x00400000 ( 1136KB, 1MB) DMphys | 0x0043c000-0x009e8000 ( 5808KB, 6MB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. bmodfs | Passed the following modules: bmodfs | module "(hd0,1)/boot/fiasco_L4/vmlinuz26" (14354kB) bmodfs | module "(hd0,1)/boot/fiasco_L4/linux26.cfg" (1kB) bmodfs | module "(hd0,1)/boot/fiasco_L4/libloader.s.so" (654kB) io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | e0000000-e7ffffff : PCI Bus #01 io | e0000000-e7ffffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | e8000000-ebffffff : VIA Technologies, Inc. VT8375 [KM266/KL266] Hos io : t Bridge io | ec000000-ec0fffff : PCI Bus #01 io | ec000000-ec07ffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | ec100000-ec11ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec120000-ec13ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec160000-ec1600ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io : 8139C+ io | ec161000-ec1617ff : VIA Technologies, Inc. IEEE 1394 Host Controlle io : r io | ec162000-ec1620ff : VIA Technologies, Inc. USB 2.0 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d01f : Intel Corp. 82544GC Gigabit Ethernet Controller (Copper io : ) io | d400-d4ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | d800-d87f : VIA Technologies, Inc. IEEE 1394 Host Controller io | dc00-dc1f : VIA Technologies, Inc. USB io | e000-e01f : VIA Technologies, Inc. USB (#2) io | e400-e41f : VIA Technologies, Inc. USB (#3) io | e800-e80f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | ec00-ecff : VIA Technologies, Inc. VT8233/A/8235 AC97 Audio Control io : ler exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 882922 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26225 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006340 => 00016340 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | vmlinuz26,#f: Starting at l4loader_init (00016bd0) exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 719273 bytes of symbols exec | vmlinuz26: Packed 1770776 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.16-l4 (root@slackware) (gcc version 3.3.6) #2 Mon J l4lx : ul 3 08:57:36 CST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (3 args): earlyprintk=yes mem=64M root=/dev/hdb1 l4lx | Image: 00400000 - 006f0000 [3008 KiB]. l4lx | Areas: Text: 00400000 - 00615000 [2132kB] (a bit longer) l4lx | Data: 00615000 - 0065c50c [285kB] l4lx | Initdata: 00660000 - 00690000 [192kB] l4lx | BSS: 00690000 - 006eee50 [379kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 0065e000 size = 598016 l4lx | sec-w-init: virt: 0x0065e000 to 0x006effff [584 KiB] l4lx | sec-w-init: Number of physical regions: 1, 598016 Bytes l4lx | sec-w-init: 1: Phys: 0x0141b000 to 0x014ad000, Size: 598016 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | PF: F.04: pfaddr = 0065e002 pc = 00666c5b (rw) 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: 0x0043c000 to 0x0063c000, 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: 0x01800000 to 0x05800000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1643 entries). l4lx | PF: F.04: pfaddr = 006852c7 pc = 0066cf84 (rw, T) l4lx | PF: F.04: pfaddr = 006844af pc = 00668b73 (rw, T) l4lx | PF: F.04: pfaddr = b01fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b01ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | PF: F.04: pfaddr = b02fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b02ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.06 (IRQ12) l4lx | PF: F.04: pfaddr = b03fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b03ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.07 (Idler) l4lx | PF: F.04: pfaddr = b04fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b04ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ17) l4lx | PF: F.04: pfaddr = b05fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b05ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ16) l4lx | PF: F.04: pfaddr = b06fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b06ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ15) l4lx | PF: F.04: pfaddr = b07fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b07ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ14) l4lx | PF: F.04: pfaddr = b08fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b08ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ13) l4lx | PF: F.04: pfaddr = b09fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b09ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ11) l4lx | PF: F.04: pfaddr = b0afe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0aff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ10) l4lx | PF: F.04: pfaddr = b0bfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0bff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0f (IRQ9) l4lx | PF: F.04: pfaddr = b0cfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0cff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.10 (IRQ7) l4lx | PF: F.04: pfaddr = b0dfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0dff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ6) l4lx | PF: F.04: pfaddr = b0efe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0eff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ5) l4lx | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) When executing here the light of harddisk would flush very frequently. Later the light stop flushing and nothing could be output. chenggh

1 0

Re: panic in L4Linux booting process
by Adam Lackorzynski 04 Jul '06

04 Jul '06

On Tue Jul 04, 2006 at 12:18:41 +0800, chenggh wrote: > #2 00660b4f : mount_block_root + 0x8f > /home/chenggh/test/l4linux-2.6/init/do_mounts.c:312 > #3 00660d87 : mount_root + 0x87 > /home/chenggh/test/l4linux-2.6/init/do_mounts.c:386 Now I see it, the Linux is not configured at all and thus does not know which root filesystem to mount and panics. I.e. you cannot only write: module (hd0,1)/boot/fiasco_L4/bmodfs --events module (hd0,1)/boot/fiasco_L4/vmlinuz26 module (hd0,1)/boot/fiasco_L4/libloader.s.so module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26 because that only loads the bare vmlinuz26 file without any kernel command line configuration. Depending on what you want to do (e.g. use a ramdisk or boot from disk) your configuration should more look like: module (hd0,1)/boot/fiasco_L4/bmodfs --events module (hd0,1)/boot/fiasco_L4/vmlinuz26 module (hd0,1)/boot/fiasco_L4/linux26.cfg module (hd0,1)/boot/fiasco_L4/libloader.s.so module (hd0,1)/boot/fiasco_L4/ramdisk.rd module (hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS linux26.cfg The linux26.cfg file should look like: modpath "(hd0,1)/boot/fiasco_L4" task "vmlinuz26" "earlyprintk=yes mem=64M root=1:0 load_ramdisk=1 ramdisk_size=2100 l4env_rd=ramdisk.rd" If you want to boot from disk, something like this could work: modpath "(hd0,1)/boot/fiasco_L4" task "vmlinuz26" "earlyprintk=yes mem=64M root=/dev/hda1" Then you do not need to load the ramdisk, of course. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Re: panic in L4Linux booting process
by chenggh 04 Jul '06

04 Jul '06

On Tuesday 04 July 2006 00:52, Adam Lackorzynski wrote: > On Mon Jul 03, 2006 at 10:32:25 +0800, chenggh wrote: > > l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) > > l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) > > l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) > > l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) > > l4lx | panic: going to sleep forever, bye > > Then go into the kernel debugger and issue bttf.4 to get a backtrace of > thread f.4. Please show me this backtrace. If there are no line > information in the backtrace please look the addresses up in an objdump > of vmlinux. All the log is following and the backtrace of thread f.4 is in the end of the log: Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Jun 1 13:35:11 2006 compiled with gcc 3.3.6 for AMD Athlon Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 188kB for maintenance structures. Roottask. 491071kB ( 479MB) total RAM (reported by bootloader) 427896kB ( 418MB) received RAM from Sigma0 23272kB ( 23MB) 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 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:2 Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB) Roottask: Loading 12 modules. #05: loading "(hd0,1)/boot/fiasco_L4/events" from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954] entry at 00061078 via trampoline page code symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB) #06: loading "(hd0,1)/boot/fiasco_L4/names -events" from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000] entry at 00062080 via trampoline page code symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB) #07: loading "(hd0,1)/boot/fiasco_L4/log" from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0] entry at 00063074 via trampoline page code symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB) #08: loading "(hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events" from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000] entry at 00064094 via trampoline page code symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] (56kB) #09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events" from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0] entry at 0006508c via trampoline page code symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] (32kB) #0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events" from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000] entry at 0006607c via trampoline page code symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB) #0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events" from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000] entry at 00067084 via trampoline page code symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] (104kB) #0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events" from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000] entry at 00068080 via trampoline page code symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] (116kB) #0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events" from [06610000-066b110a] to [01220000-0123706a][01238000-01258000] passing module (hd0,1)/boot/fiasco_L4/vmlinuz26 [ 066b2000-074b66ce ] passing module (hd0,1)/boot/fiasco_L4/libloader.s.so [ 074b7000-0755a661 ] entry at 000690ec via trampoline page code symbols at [1b887000-1b88c000] (20kB), lines at [1b875000-1b887000] (72kB) #0e: loading "(hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26" from [0755b000-0763f6f5] to [01300000-0132792a][01328000-01353000] entry at 0006a090 via trampoline page code symbols at [1b86e000-1b875000] (28kB), lines at [1b854000-1b86e000] (104kB) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc | Date:04.07.2006 Time:11:57:04 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x1dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x1dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x0013a000 7 12 MAPPED DMphys | 0x0013a000-0x001d2000 -- -- DENIED DMphys | 0x001d2000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e4000 -- -- DENIED DMphys | 0x002e4000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043c000 -- -- DENIED DMphys | 0x0043c000-0x009e8000 7 12 MAPPED DMphys | 0x009e8000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00bf1000 -- -- DENIED DMphys | 0x00bf1000-0x00c00000 0 12 MAPPED DMphys | 0x00c00000-0x01000000 0 22 MAPPED DMphys | 0x01000000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108b000 -- -- DENIED DMphys | 0x0108b000-0x01100000 0 12 MAPPED DMphys | 0x01100000-0x0114e000 -- -- DENIED DMphys | 0x0114e000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01258000 -- -- DENIED DMphys | 0x01258000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01353000 -- -- DENIED DMphys | 0x01353000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01416000 -- -- DENIED DMphys | 0x01416000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151d000 -- -- RESERVED DMphys | 0x0151d000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0154e000 -- -- DENIED DMphys | 0x0154e000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x066b2000 0 12 MAPPED DMphys | 0x066b2000-0x0755b000 -- -- DENIED DMphys | 0x0755b000-0x07800000 0 12 MAPPED DMphys | 0x07800000-0x1b800000 0 22 MAPPED DMphys | 0x1b800000-0x1b854000 0 12 MAPPED DMphys | 0x1b854000-0x1dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 424116KB total, 424116KB free, 32KB reserved DMphys | 0x009e8000-0x00b80000 ( 1632KB, 2MB) DMphys | 0x00bf1000-0x01080000 ( 4668KB, 5MB) DMphys | 0x0108b000-0x01100000 ( 468KB, 0MB) DMphys | 0x0114e000-0x01220000 ( 840KB, 1MB) DMphys | 0x01258000-0x01300000 ( 672KB, 1MB) DMphys | 0x01353000-0x01400000 ( 692KB, 1MB) DMphys | 0x01416000-0x01500000 ( 936KB, 1MB) DMphys | 0x0151d000-0x01540000 ( 140KB, 0MB) DMphys | 0x0154e000-0x066b2000 ( 83344KB, 81MB) DMphys | 0x0755b000-0x1b854000 (330724KB, 323MB) DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x0013a000 ( 232KB, 0MB) DMphys | 0x001d2000-0x002d0000 ( 1016KB, 1MB) DMphys | 0x002e4000-0x00400000 ( 1136KB, 1MB) DMphys | 0x0043c000-0x009e8000 ( 5808KB, 6MB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. bmodfs | Passed the following modules: bmodfs | module "(hd0,1)/boot/fiasco_L4/vmlinuz26" (14354kB) bmodfs | module "(hd0,1)/boot/fiasco_L4/libloader.s.so" (654kB) io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | e0000000-e7ffffff : PCI Bus #01 io | e0000000-e7ffffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | e8000000-ebffffff : VIA Technologies, Inc. VT8375 [KM266/KL266] Hos io : t Bridge io | ec000000-ec0fffff : PCI Bus #01 io | ec000000-ec07ffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | ec100000-ec11ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec120000-ec13ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec160000-ec1600ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io : 8139C+ io | ec161000-ec1617ff : VIA Technologies, Inc. IEEE 1394 Host Controlle io : r io | ec162000-ec1620ff : VIA Technologies, Inc. USB 2.0 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d01f : Intel Corp. 82544GC Gigabit Ethernet Controller (Copper io : ) io | d400-d4ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | d800-d87f : VIA Technologies, Inc. IEEE 1394 Host Controller io | dc00-dc1f : VIA Technologies, Inc. USB io | e000-e01f : VIA Technologies, Inc. USB (#2) io | e400-e41f : VIA Technologies, Inc. USB (#3) io | e800-e80f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | ec00-ecff : VIA Technologies, Inc. VT8233/A/8235 AC97 Audio Control io : ler loader | "vmlinuz26" is a valid binary image exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 882922 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26225 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006340 => 00016340 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | vmlinuz26,#f: Starting at l4loader_init (00016bd0) exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 719273 bytes of symbols exec | vmlinuz26: Packed 1770776 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.16-l4 (root@slackware) (gcc version 3.3.6) #2 Mon J l4lx : ul 3 08:57:36 CST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (0 args): l4lx | Image: 00400000 - 006f0000 [3008 KiB]. l4lx | Areas: Text: 00400000 - 00615000 [2132kB] (a bit longer) l4lx | Data: 00615000 - 0065c50c [285kB] l4lx | Initdata: 00660000 - 00690000 [192kB] l4lx | BSS: 00690000 - 006eee50 [379kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 0065e000 size = 598016 l4lx | sec-w-init: virt: 0x0065e000 to 0x006effff [584 KiB] l4lx | sec-w-init: Number of physical regions: 1, 598016 Bytes l4lx | sec-w-init: 1: Phys: 0x01416000 to 0x014a8000, Size: 598016 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | PF: F.04: pfaddr = 0065e002 pc = 00666c5b (rw) l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 32MB 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: 0x0043c000 to 0x0063c000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x02bfffff [32768 KiB] l4lx | Main memory: Number of physical regions: 1, 33554432 Bytes l4lx | Main memory: 1: Phys: 0x01800000 to 0x03800000, Size: 33554432 l4lx | Filling lower ptabs... l4lx | Done (1643 entries). l4lx | PF: F.04: pfaddr = 006852c7 pc = 0066cf84 (rw, T) l4lx | PF: F.04: pfaddr = 006844af pc = 00668b73 (rw, T) l4lx | PF: F.04: pfaddr = b01fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b01ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | PF: F.04: pfaddr = b02fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b02ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.06 (IRQ12) l4lx | PF: F.04: pfaddr = b03fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b03ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.07 (Idler) l4lx | PF: F.04: pfaddr = b04fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b04ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ17) l4lx | PF: F.04: pfaddr = b05fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b05ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ16) l4lx | PF: F.04: pfaddr = b06fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b06ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ15) l4lx | PF: F.04: pfaddr = b07fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b07ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ14) l4lx | PF: F.04: pfaddr = b08fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b08ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ13) l4lx | PF: F.04: pfaddr = b09fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b09ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ11) l4lx | PF: F.04: pfaddr = b0afe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0aff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ10) l4lx | PF: F.04: pfaddr = b0bfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0bff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0f (IRQ9) l4lx | PF: F.04: pfaddr = b0cfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0cff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.10 (IRQ7) l4lx | PF: F.04: pfaddr = b0dfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0dff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ6) l4lx | PF: F.04: pfaddr = b0efe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0eff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ5) l4lx | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) l4lx | panic: going to sleep forever, bye ---------------------------------------------------------IP: f0013b04 --IRQ ENTRY (0.00) jdb: q (0.00) jdb: w (0.00) jdb: b(0.00) jdb: bt [a]ddr/[t]hread thread=4 backtrace (thread 4.00, fp=001b3734, pc=0013d51a): #1 0013d51a : pager + 0x1aa /home/chenggh/test/l4/pkg/roottask/server/src/pager.c:688 #2 0013a128 : rmgr_main + 0x78 /home/chenggh/test/l4/pkg/roottask/server/src/rmgr.c:101 #3 001268d5 : init + 0x95 /home/chenggh/test/l4/pkg/roottask/server/src/init.c:1737 --kernel-bt-follows-- #0 f0007120 #1 f00069d8 #2 f000f50f #3 f000debf #4 f002c2b3 (0.00) jdb: b(0.00) jdb: bt [a]ddr/[t]hread backtrace (thread 0.00, fp=00000000, pc=00000000): --kernel-bt-follows-- #2 f001ba7c #3 f001db2a #4 f00182a1 #5 f0018848 #6 f000af7a #7 f000947a #8 f002b4f4 #9 f0013b04 #10 f002b7cb (0.00) jdb: bt [a]ddr/[t]hread thread=f.4 backtrace (thread f.04, fp=01081f58, pc=0040152d): #1 0040152d : l4x_blink + 0x2d /home/chenggh/test/l4linux-2.6/arch/l4/kernel/main.c:666 #2 00660b4f : mount_block_root + 0x8f /home/chenggh/test/l4linux-2.6/init/do_mounts.c:312 #3 00660d87 : mount_root + 0x87 /home/chenggh/test/l4linux-2.6/init/do_mounts.c:386 #4 00660ddc : prepare_namespace + 0x4c /home/chenggh/test/l4linux-2.6/init/do_mounts.c:421 #5 0040018f : init + 0x12f /home/chenggh/test/l4linux-2.6/init/main.c:699 #6 004063a9 : kernel_thread_start + 0x29 /home/chenggh/test/l4linux-2.6/arch/l4/kernel/arch-i386/process.c:199 #7 0040637e : ret_kernel_thread_start + 0x6 /home/chenggh/test/l4linux-2.6/arch/l4/kernel/arch-i386/process.c:174 #8 00400021 : rest_init + 0x21 /home/chenggh/test/l4linux-2.6/init/main.c:403 #9 00660726 : start_kernel + 0x176 /home/chenggh/test/l4linux-2.6/init/main.c:546 #10 00666d5f : l4env_linux_startup + 0xbf /home/chenggh/test/l4linux-2.6/arch/l4/kernel/main.c:695 #11 00018733 : l4th_thread_start + 0x73 /home/chenggh/test/l4/pkg/thread/lib/src/create.c:72 #12 0001ba06 : l4th_thread_entry + 0x16 /home/chenggh/test/l4/pkg/thread/lib/src/l4.c:93 #13 001e0801 --kernel-bt-follows-- #0 f0007120 #1 f00069d8 #2 f000f50f #3 f000debf #4 f002b838 (0.00) jdb: q (0.00) jdb: u f0013b04 <enter_kdebug ("IRQ ENTRY") f0013b0f mov 0x8(%ebx),%edx f0013b12 lea 0xffffffff(%edx),%ecx f0013b15 cmp $0x7,%ecx f0013b18 ja 0xf0013b30 f0013b1a in $0x21,%al f0013b1c mov $0xfffffffe,%esi f0013b21 mov %eax,%edx f0013b23 rol %cl,%esi f0013b25 and %esi,%edx f0013b27 mov %edx,%eax f0013b29 out %al,$0x21 f0013b2b jmp 0xf00139b0 f0013b30 in $0xa1,%al f0013b32 mov $0xfffffffe,%ebx f0013b37 lea 0xfffffff7(%edx),%ecx f0013b3a rol %cl,%ebx f0013b3c and %ebx,%eax f0013b3e out %al,$0xa1 f0013b40 jmp 0xf00139b0 f0013b45 mov 0x14(%ecx),%edx f0013b48 lea 0xffffffff(%edx),%ecx f0013b4b cmp $0x7,%ecx f0013b4e ja 0xf0013b5f <Space>=lines modedis: <f0013b04> task 0 [Headers] [AT&T] f0013b04 <enter_kdebug ("IRQ ENTRY") f0013b0f mov 0x8(%ebx),%edx f0013b12 lea 0xffffffff(%edx),%ecx f0013b15 cmp $0x7,%ecx f0013b18 ja 0xf0013b30 f0013b1a in $0x21,%al f0013b1c mov $0xfffffffe,%esi f0013b21 mov %eax,%edx f0013b23 rol %cl,%esi f0013b25 and %esi,%edx f0013b27 mov %edx,%eax f0013b29 out %al,$0x21 f0013b2b jmp 0xf00139b0 f0013b30 in $0xa1,%al f0013b32 mov $0xfffffffe,%ebx f0013b37 lea 0xfffffff7(%edx),%ecx f0013b3a rol %cl,%ebx f0013b3c and %ebx,%eax f0013b3e out %al,$0xa1 f0013b40 jmp 0xf00139b0 f0013b45 mov 0x14(%ecx),%edx f0013b48 lea 0xffffffff(%edx),%ecx f0013b4b cmp $0x7,%ecx f0013b4e ja 0xf0013b5f <Space>=lines modedis: <f0013b04> task 0 [Headers] [AT&T] f0013b04 <enter_kdebug ("IRQ ENTRY") f0013b0f mov 0x8(%ebx),%edx f0013b12 lea 0xffffffff(%edx),%ecx f0013b15 cmp $0x7,%ecx f0013b18 ja 0xf0013b30 f0013b1a in $0x21,%al f0013b1c mov $0xfffffffe,%esi f0013b21 mov %eax,%edx f0013b23 rol %cl,%esi f0013b25 and %esi,%edx f0013b27 mov %edx,%eax f0013b29 out %al,$0x21 f0013b2b jmp 0xf00139b0 f0013b30 in $0xa1,%al f0013b32 mov $0xfffffffe,%ebx f0013b37 lea 0xfffffff7(%edx),%ecx f0013b3a rol %cl,%ebx f0013b3c and %ebx,%eax f0013b3e out %al,$0xa1 f0013b40 jmp 0xf00139b0 f0013b45 mov 0x14(%ecx),%edx f0013b48 lea 0xffffffff(%edx),%ecx f0013b4b cmp $0x7,%ecx f0013b4e ja 0xf0013b5f <Space>=lines modedis: <f0013b04> task 0 [Headers] [AT&T] (0.00) jdb: s (0.00) jdb: 悙 �Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 188kB for maintenance structures. Roottask. 491071kB ( 479MB) total RAM (reported by bootloader) 427896kB ( 418MB) received RAM from Sigma0 23272kB ( 23MB) 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 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:2 Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB) Roottask: Loading 12 modules. #05: loading "(hd0,1)/boot/fiasco_L4/events" from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954] entry at 00061078 via trampoline page code symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB) #06: loading "(hd0,1)/boot/fiasco_L4/names -events" from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000] entry at 00062080 via trampoline page code symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB) #07: loading "(hd0,1)/boot/fiasco_L4/log" from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0] entry at 00063074 via trampoline page code symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB) #08: loading "(hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events" from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000] entry at 00064094 via trampoline page code symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] (56kB) #09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events" from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0] entry at 0006508c via trampoline page code symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] (32kB) #0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events" from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000] entry at 0006607c via trampoline page code symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB) #0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events" from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000] entry at 00067084 via trampoline page code symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] (104kB) #0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events" from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000] entry at 00068080 via trampoline page code symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] (116kB) #0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events" from [06610000-066b110a] to [01220000-0123706a][01238000-01258000] passing exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26225 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006340 => 00016340 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | vmlinuz26,#f: Starting at l4loader_init (00016bd0) exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 719273 bytes of symbols exec | vmlinuz26: Packed 1770776 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.16-l4 (root@slackware) (gcc version 3.3.6) #2 Mon J l4lx : ul 3 08:57:36 CST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (0 args): l4lx | Image: 00400000 - 006f0000 [3008 KiB]. l4lx | Areas: Text: 00400000 - 00615000 [2132kB] (a bit longer) l4lx | Data: 00615000 - 0065c50c [285kB] l4lx | Initdata: 00660000 - 00690000 [192kB] l4lx | BSS: 00690000 - 006eee50 [379kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 0065e000 size = 598016 l4lx | sec-w-init: virt: 0x0065e000 to 0x006effff [584 KiB] l4lx | sec-w-init: Number of physical regions: 1, 598016 Bytes l4lx | sec-w-init: 1: Phys: 0x01416000 to 0x014a8000, Size: 598016 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | PF: F.04: pfaddr = 0065e002 pc = 00666c5b (rw) l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 32MB 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: 0x0043c000 to 0x0063c000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x02bfffff [32768 KiB] l4lx | Main memory: Number of physical regions: 1, 33554432 Bytes l4lx | Main memory: 1: Phys: 0x01800000 to 0x03800000, Size: 33554432 l4lx | Filling lower ptabs... l4lx | Done (1643 entries). l4lx | PF: F.04: pfaddr = 006852c7 pc = 0066cf84 (rw, T) l4lx | PF: F.04: pfaddr = 006844af pc = 00668b73 (rw, T) l4lx | PF: F.04: pfaddr = b01fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b01ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | PF: F.04: pfaddr = b02fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b02ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.06 (IRQ12) l4lx | PF: F.04: pfaddr = b03fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b03ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.07 (Idler) l4lx | PF: F.04: pfaddr = b04fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b04ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ17) l4lx | PF: F.04: pfaddr = b05fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b05ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ16) l4lx | PF: F.04: pfaddr = b06fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b06ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ15) l4lx | PF: F.04: pfaddr = b07fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b07ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ14) l4lx | PF: F.04: pfaddr = b08fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b08ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ13) l4lx | PF: F.04: pfaddr = b09fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b09ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ11) l4lx | PF: F.04: pfaddr = b0afe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0aff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ10) l4lx | PF: F.04: pfaddr = b0bfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0bff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0f (IRQ9) l4lx | PF: F.04: pfaddr = b0cfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0cff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.10 (IRQ7) l4lx | PF: F.04: pfaddr = b0dfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0dff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ6) l4lx | PF: F.04: pfaddr = b0efe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0eff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ5) l4lx | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) l4lx | panic: going to sleep forever, bye ---------------------------------------------------------IP: f0013b04 --IRQ ENTRY (0.00) jdb: w (0.00) jdb: br bpn=(0.00) jdb: bt [a]ddr/[t]hread thread=f.4 backtrace (thread f.04, fp=01081f58, pc=0040152d): #1 0040152d : l4x_blink + 0x2d /home/chenggh/test/l4linux-2.6/arch/l4/kernel/main.c:666 #2 00660b4f : mount_block_root + 0x8f /home/chenggh/test/l4linux-2.6/init/do_mounts.c:312 #3 00660d87 : mount_root + 0x87 /home/chenggh/test/l4linux-2.6/init/do_mounts.c:386 #4 00660ddc : prepare_namespace + 0x4c /home/chenggh/test/l4linux-2.6/init/do_mounts.c:421 #5 0040018f : init + 0x12f /home/chenggh/test/l4linux-2.6/init/main.c:699 #6 004063a9 : kernel_thread_start + 0x29 /home/chenggh/test/l4linux-2.6/arch/l4/kernel/arch-i386/process.c:199 #7 0040637e : ret_kernel_thread_start + 0x6 /home/chenggh/test/l4linux-2.6/arch/l4/kernel/arch-i386/process.c:174 #8 00400021 : rest_init + 0x21 /home/chenggh/test/l4linux-2.6/init/main.c:403 #9 00660726 : start_kernel + 0x176 /home/chenggh/test/l4linux-2.6/init/main.c:546 #10 00666d5f : l4env_linux_startup + 0xbf /home/chenggh/test/l4linux-2.6/arch/l4/kernel/main.c:695 #11 00018733 : l4th_thread_start + 0x73 /home/chenggh/test/l4/pkg/thread/lib/src/create.c:72 #12 0001ba06 : l4th_thread_entry + 0x16 /home/chenggh/test/l4/pkg/thread/lib/src/l4.c:93 #13 001e0801 --kernel-bt-follows-- #0 f0007120 #1 f00069d8 #2 f000f50f #3 f000debf #4 f002b838 (0.00) jdb: � (0.00) jdb: � (0.00) jdb: � (0.00) jdb: � (0.00) jdb: � (0.00) jdb: � (0.00) jdb: Thank you chenggh

1 0

Re: panic in L4Linux booting process
by Adam Lackorzynski 03 Jul '06

03 Jul '06

On Mon Jul 03, 2006 at 10:32:25 +0800, chenggh wrote: > l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) > l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) > l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) > l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) > l4lx | panic: going to sleep forever, bye Then go into the kernel debugger and issue bttf.4 to get a backtrace of thread f.4. Please show me this backtrace. If there are no line information in the backtrace please look the addresses up in an objdump of vmlinux. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Re: panic in L4Linux booting process
by chenggh 03 Jul '06

03 Jul '06

On Monday 03 July 2006 02:45, Adam Lackorzynski wrote: > On Fri Jun 30, 2006 at 20:13:34 +0800, chenggh wrote: > > names | Starting thread listening for `exit' events > > simplets| Configured for 300 tasks. > > DMphys | [8.0] dm_phys/server/src/main.c:115:__get_num(): > > DMphys | Error: DMphys: invalid number: 'sa=0x00800000'! > > DMphys | [8.0] dm_phys/server/src/main.c:153:__pool_config(): > > DMphys | Error: DMphys: invalid size for pool 7: sa=0x00800000! > > > > > > module (hd0,1)/boot/fiasco_L4/dm_phys -isa=0x00800000 -v --events > > Write --isa=0x00800000 to get the above error fixed (two '_'). > > > Please enable 'Show page faults and exceptions of Linux server' under > L4Linux configuration -> Debugging options in the L4Linux conifguration > menu. When you try again, there should be a line starting with 'EX: ' > just before the panic. On this line, there will be 'pc = 0x12345678', > look up this address with a disassemble of your vmlinux binary. Then > show us where this is in the source. I enable "Show page faults and exceptions of Linux server". But there is not a line starting with "EX:". The following is my log. Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Jun 1 13:35:11 2006 compiled with gcc 3.3.6 for AMD Athlon Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the RTC on IRQ 8 (1kHz) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz 16/256 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/256 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 188kB for maintenance structures. Roottask. 491071kB ( 479MB) total RAM (reported by bootloader) 427896kB ( 418MB) received RAM from Sigma0 23272kB ( 23MB) 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 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:2 Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB) Roottask: Loading 12 modules. #05: loading "(hd0,1)/boot/fiasco_L4/events" from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954] entry at 00061078 via trampoline page code symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB) #06: loading "(hd0,1)/boot/fiasco_L4/names -events" from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000] entry at 00062080 via trampoline page code symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB) #07: loading "(hd0,1)/boot/fiasco_L4/log" from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0] entry at 00063074 via trampoline page code symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB) #08: loading "(hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events" from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000] entry at 00064094 via trampoline page code symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] (56kB) #09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events" from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0] entry at 0006508c via trampoline page code symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] (32kB) #0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events" from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000] entry at 0006607c via trampoline page code symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB) #0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events" from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000] entry at 00067084 via trampoline page code symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] (104kB) #0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events" from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000] entry at 00068080 via trampoline page code symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] (116kB) #0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events" from [06610000-066b110a] to [01220000-0123706a][01238000-01258000] passing module (hd0,1)/boot/fiasco_L4/vmlinuz26 [ 066b2000-074b66ce ] passing module (hd0,1)/boot/fiasco_L4/libloader.s.so [ 074b7000-0755a661 ] entry at 000690ec via trampoline page code symbols at [1b887000-1b88c000] (20kB), lines at [1b875000-1b887000] (72kB) #0e: loading "(hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS vmlinuz26" from [0755b000-0763f6f5] to [01300000-0132792a][01328000-01353000] entry at 0006a090 via trampoline page code symbols at [1b86e000-1b875000] (28kB), lines at [1b854000-1b86e000] (104kB) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc | Date:03.07.2006 Time:10:20:10 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x1dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x1dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x0013a000 7 12 MAPPED DMphys | 0x0013a000-0x001d2000 -- -- DENIED DMphys | 0x001d2000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e4000 -- -- DENIED DMphys | 0x002e4000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043c000 -- -- DENIED DMphys | 0x0043c000-0x009e8000 7 12 MAPPED DMphys | 0x009e8000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00bf1000 -- -- DENIED DMphys | 0x00bf1000-0x00c00000 0 12 MAPPED DMphys | 0x00c00000-0x01000000 0 22 MAPPED DMphys | 0x01000000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108b000 -- -- DENIED DMphys | 0x0108b000-0x01100000 0 12 MAPPED DMphys | 0x01100000-0x0114e000 -- -- DENIED DMphys | 0x0114e000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01258000 -- -- DENIED DMphys | 0x01258000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01353000 -- -- DENIED DMphys | 0x01353000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01416000 -- -- DENIED DMphys | 0x01416000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151d000 -- -- RESERVED DMphys | 0x0151d000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0154e000 -- -- DENIED DMphys | 0x0154e000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x066b2000 0 12 MAPPED DMphys | 0x066b2000-0x0755b000 -- -- DENIED DMphys | 0x0755b000-0x07800000 0 12 MAPPED DMphys | 0x07800000-0x1b800000 0 22 MAPPED DMphys | 0x1b800000-0x1b854000 0 12 MAPPED DMphys | 0x1b854000-0x1dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 424116KB total, 424116KB free, 32KB reserved DMphys | 0x009e8000-0x00b80000 ( 1632KB, 2MB) DMphys | 0x00bf1000-0x01080000 ( 4668KB, 5MB) DMphys | 0x0108b000-0x01100000 ( 468KB, 0MB) DMphys | 0x0114e000-0x01220000 ( 840KB, 1MB) DMphys | 0x01258000-0x01300000 ( 672KB, 1MB) DMphys | 0x01353000-0x01400000 ( 692KB, 1MB) DMphys | 0x01416000-0x01500000 ( 936KB, 1MB) DMphys | 0x0151d000-0x01540000 ( 140KB, 0MB) DMphys | 0x0154e000-0x066b2000 ( 83344KB, 81MB) DMphys | 0x0755b000-0x1b854000 (330724KB, 323MB) DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x0013a000 ( 232KB, 0MB) DMphys | 0x001d2000-0x002d0000 ( 1016KB, 1MB) DMphys | 0x002e4000-0x00400000 ( 1136KB, 1MB) DMphys | 0x0043c000-0x009e8000 ( 5808KB, 6MB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. bmodfs | Passed the following modules: bmodfs | module "(hd0,1)/boot/fiasco_L4/vmlinuz26" (14354kB) bmodfs | module "(hd0,1)/boot/fiasco_L4/libloader.s.so" (654kB) io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | e0000000-e7ffffff : PCI Bus #01 io | e0000000-e7ffffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | e8000000-ebffffff : VIA Technologies, Inc. VT8375 [KM266/KL266] Hos io : t Bridge io | ec000000-ec0fffff : PCI Bus #01 io | ec000000-ec07ffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266] io | ec100000-ec11ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec120000-ec13ffff : Intel Corp. 82544GC Gigabit Ethernet Controller io : (Copper) io | ec160000-ec1600ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io : 8139C+ io | ec161000-ec1617ff : VIA Technologies, Inc. IEEE 1394 Host Controlle io : r io | ec162000-ec1620ff : VIA Technologies, Inc. USB 2.0 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d01f : Intel Corp. 82544GC Gigabit Ethernet Controller (Copper io : ) io | d400-d4ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | d800-d87f : VIA Technologies, Inc. IEEE 1394 Host Controller io | dc00-dc1f : VIA Technologies, Inc. USB io | e000-e01f : VIA Technologies, Inc. USB (#2) io | e400-e41f : VIA Technologies, Inc. USB (#3) io | e800-e80f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | ec00-ecff : VIA Technologies, Inc. VT8233/A/8235 AC97 Audio Control io : ler loader | "vmlinuz26" is a valid binary image exec | vmlinuz26: Loading exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1" exec | vmlinuz26: Saved 882922 bytes of symbols exec | libloader.s.so: Loading exec | libloader.s.so: Saved 26225 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006340 => 00016340 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26: Setting section flag 0800 loader | vmlinuz26: Starting l4env-style application loader | vmlinuz26,#f: Starting at l4loader_init (00016bd0) exec | vmlinuz26: Linking exec | vmlinuz26: Relocating entry 00400000 => 00400000 exec | vmlinuz26: Packed 719273 bytes of symbols exec | vmlinuz26: Packed 1770776 bytes of lines loader | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.16-l4 (root@slackware) (gcc version 3.3.6) #2 Mon J l4lx : ul 3 08:57:36 CST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (0 args): l4lx | Image: 00400000 - 006f0000 [3008 KiB]. l4lx | Areas: Text: 00400000 - 00615000 [2132kB] (a bit longer) l4lx | Data: 00615000 - 0065c50c [285kB] l4lx | Initdata: 00660000 - 00690000 [192kB] l4lx | BSS: 00690000 - 006eee50 [379kB] l4lx | l4lx_thread_create: Created thread 0f.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0f.04 (server) l4lx | main thread will be 0f.04 l4lx | l4env_register_pointer_section: addr = 0065e000 size = 598016 l4lx | sec-w-init: virt: 0x0065e000 to 0x006effff [584 KiB] l4lx | sec-w-init: Number of physical regions: 1, 598016 Bytes l4lx | sec-w-init: 1: Phys: 0x01416000 to 0x014a8000, Size: 598016 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | PF: F.04: pfaddr = 0065e002 pc = 00666c5b (rw) l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 32MB 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: 0x0043c000 to 0x0063c000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x02bfffff [32768 KiB] l4lx | Main memory: Number of physical regions: 1, 33554432 Bytes l4lx | Main memory: 1: Phys: 0x01800000 to 0x03800000, Size: 33554432 l4lx | Filling lower ptabs... l4lx | Done (1643 entries). l4lx | PF: F.04: pfaddr = 006852c7 pc = 0066cf84 (rw, T) l4lx | PF: F.04: pfaddr = 006844af pc = 00668b73 (rw, T) l4lx | PF: F.04: pfaddr = b01fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b01ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.05 (timer.i0) l4lx | PF: F.04: pfaddr = b02fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b02ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.06 (IRQ12) l4lx | PF: F.04: pfaddr = b03fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b03ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.07 (Idler) l4lx | PF: F.04: pfaddr = b04fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b04ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.08 (IRQ17) l4lx | PF: F.04: pfaddr = b05fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b05ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.09 (IRQ16) l4lx | PF: F.04: pfaddr = b06fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b06ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0a (IRQ15) l4lx | PF: F.04: pfaddr = b07fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b07ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0b (IRQ14) l4lx | PF: F.04: pfaddr = b08fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b08ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0c (IRQ13) l4lx | PF: F.04: pfaddr = b09fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b09ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0d (IRQ11) l4lx | PF: F.04: pfaddr = b0afe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0aff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0e (IRQ10) l4lx | PF: F.04: pfaddr = b0bfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0bff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.0f (IRQ9) l4lx | PF: F.04: pfaddr = b0cfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0cff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.10 (IRQ7) l4lx | PF: F.04: pfaddr = b0dfe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0dff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ6) l4lx | PF: F.04: pfaddr = b0efe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0eff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ5) l4lx | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw) l4lx | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw) l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ1) l4lx | panic: going to sleep forever, bye Cheng

1 0

Re: panic in L4Linux booting process
by Adam Lackorzynski 02 Jul '06

02 Jul '06

On Fri Jun 30, 2006 at 20:13:34 +0800, chenggh wrote: > names | Starting thread listening for `exit' events > simplets| Configured for 300 tasks. > DMphys | [8.0] dm_phys/server/src/main.c:115:__get_num(): > DMphys | Error: DMphys: invalid number: 'sa=0x00800000'! > DMphys | [8.0] dm_phys/server/src/main.c:153:__pool_config(): > DMphys | Error: DMphys: invalid size for pool 7: sa=0x00800000! > module (hd0,1)/boot/fiasco_L4/dm_phys -isa=0x00800000 -v --events Write --isa=0x00800000 to get the above error fixed (two '_'). Please enable 'Show page faults and exceptions of Linux server' under L4Linux configuration -> Debugging options in the L4Linux conifguration menu. When you try again, there should be a line starting with 'EX: ' just before the panic. On this line, there will be 'pc = 0x12345678', look up this address with a disassemble of your vmlinux binary. Then show us where this is in the source. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0