Problem of booting L4Linux2.6
lvmengxuan
gyluwoo at sse.buaa.edu.cn
Sun Jan 18 13:17:02 CET 2009
I had some problem when I was booting L4linux2.6 on Fiasco1.2 .
The following is my menu.lst
=====Begin of menu.lst=========
title L4Linux26/Fiasco+dope
root (hd0,3)
kernel /L4Linux/bootstrap
modaddr 0x06000000
module /L4Linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1
module /L4Linux/sigma0
module /L4Linux/roottask task modname "bmodfs" attached 4 modules
module /L4Linux/events
module /L4Linux/names --events
module /L4Linux/log --events
module /L4Linux/dm_phys --isa=0x00800000 -v --events
module /L4Linux/simple_ts -t 300 --events
module /L4Linux/rtc --events
module /L4Linux/l4io --noirq --events module
#module /L4Linux/l4exec --events
module /L4Linux/loader --fprov=BMODFS linux26.cfg
module /L4Linux/bmodfs
module /L4Linux/vmlinuz
module /L4Linux/linux26.cfg
module /L4Linux/libloader.s.so
module /L4Linux/libld-l4.s.so
=====End of menu.lst=========
And the following is the loader script for L4linux
=====Begin of l4linux26.cfg=========
modpath "(hd0,3)/boot/L4Linux"
task "vmlinuz" "earlyprintk=yes console=tty0,115200
init=1 mem=64M root=/dev/sda8" all_sects_writable
=====End of l4linux26.cfg=========
and the following is the problem when booting l4linux2.6:
=====Begin of booting=========
Welcome to Fiasco(ia32)!
DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden
Rev: rUNKNOWN compiled with gcc 4.2.4 for Intel Pentium []
Performance-critical config option(s) detected:
CONFIG_NDEBUG is off
Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 for scheduling
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: GenuineIntel (6:F:B:0) Model: Core 2 (Mero
128 Entry I TLB (4K pages)
272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages)
32 KB L1 I Cache (8-way associative, 64 bytes per line)
32 KB L1 D Cache (8-way associative, 64 bytes per line)
4096 KB L2 U Cache (16-way associative, 64 bytes per line)
Freeing init code/data: 20480 bytes (5 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 1000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
Roottask.
Command line found: "/L4Linux/roottask task modname "bmodfs"
s"
2087167kB (2038MB) total RAM (reported by bootloader)
2018440kB (1972MB) received RAM from Sigma0
12368kB ( 13MB) reserved RAM for RMGR
Received I/O ports 0000-ffff
Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F 10 11 ]
Roottask: Parsing command line config.
configured task 0x00 (bmodfs):
vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff
mods:4
Roottask: Loading 13 modules.
#05: loading "/L4Linux/events"
from [0612e000-0616f960] to [01540000-01548dd0][01549000
entry at 0005d068 via trampoline page code
symbols at [7bbfe000-7bc00000] (8kB), lines at [7bbf7000-7bbfe000]
(28kB)
#06: loading "/L4Linux/names --events"
from [06170000-061b1f63] to [002d0000-002d67b7][002d7000-002e2000]
entry at 0005e070 via trampoline page code
symbols at [7bbf5000-7bbf7000] (8kB), lines at [7bbef000-7bbf5000]
(24kB)
#07: loading "/L4Linux/log --events"
from [061b2000-061f0df2] to [00400000-00406eca][00407000-00439828]
entry at 0005f070 via trampoline page
symbols at [7bbed000-7bbef000] (8kB), lines at [7bbe7000-7bbed000]
(24kB)
#08: loading "/L4Linux/dm_phys --isa=0x00800000 -v --events"
from [061f1000-0628ce37] to [01500000-01513937][01514000-0151e000]
entry at 00060088 via trampoline page code
symbols at [7bbe2000-7bbe7000] (20kB), lines at [7bbd4000-7bbe2000]
(56kB)
#09: loading "/L4Linux/simple_ts -t 300 --events"
from [0628d000-062db7e3] to [01400000-01408bea][01409000-01418608]
entry at 0006107c via trampoline page code
symbols at [7bbd2000-7bbd4000] (8kB), lines at [7bbca000-7bbd2000]
(32kB)
#0a: loading "/L4Linux/rtc --events"
from [062dc000-0630c729] to [01080000-010845a0][01085000-0108a000]
entry at 00063070 via trampoline page code
symbols at [7bbc8000-7bbca000] (8kB), lines at [7bbc3000-7bbc8000]
(20kB)
#0b: loading "/L4Linux/l4io --noirq --events module"
from [0630d000-0657bff7] to [00c20000-00c443e9][00c45000-00cb3000]
entry at 00064080 via trampoline page code
symbols at [7bb6d000-7bbc3000] (344kB), lines at [7bb53000-7bb6d000]
(104kB
)
#0c: loading "/L4Linux/loader --fprov=BMODFS linux26.cfg"
from [0657c000-06659beb] to [01300000-01327e45][01328000-01347000]
entry at 00065084 via trampoline page code
symbols at [7bb4c000-7bb53000] (28kB), lines at [7bb32000-7bb4c000]
(104kB)
#0d: loading "/L4Linux/bmodfs"
from [0665a000-066ffef1] to [01220000-01237f25][01238000-0124f000]
passing module /L4Linux/vmlinuz [ 06700000-06
passing module /L4Linux/linux26.cfg [ 06a8d000-06a8d086 ]
passing module /L4Linux/libloader.s.so [ 06a8e000-06b2b3fd ]
passing module /L4Linux/libld-l4.s.so [ 06b2c000-06ba59d9 ]
entry at 00066104 via trampoline page code
symbols at [7bb2d000-7bb32000] (20kB), lines at [7bb1a000-7bb2d000]
(76kB)
ROOT: Sending ports 0070-0070 to task #0a
ROOT: Sending ports 0080-0080 to task #0a
ROOT: Sending ports 0071-0071 to task #0a
log | /L4Linux/log: unrecognized option `--events'
log | Unrecognized option: - ?
log | Usage: /L4Linux/log <options>. Option list:
log | [ -h | --help ] - this help
log | [ -v | --verbose ] - verbose mode
log | [ -l | --local ] - flush to local console
log | [ -L | --nolocal ] - do not flush to local console
log | [ -s | --comport num ] - flush to specified serial interface (0)
log | [ -e | --serial-esc ] - enter kdebug on esc on seria
log | [ -b | --buffer num ] - buffered mode (0)
log | [ --flushprio num ] - priority of flusher thread (0x20)
log | [ -p | --prio num ] - priority of main thread (0x20)
names | Starting thread listening for `exit' events
rtc | Date:18.01.2009 Time:20:00:40
simplets| Configured for 300 tasks.
DMphys | DMphys memory map:
DMphys | phys. memory 0x00000000-0x7f6a0000 (from L4 kernel info page)
DMphys | using 0x00100000-0x7f6a0000
DMphys | Memory area Pool PS Fla
DMphys | 0x00000000-0x0009f000 -- -- RESERVED
DMphys | 0x00100000-0x00161000 -- -- RESERVED
DMphys | 0x00161000-0x0021c000 -- -- DENIED
DMphys | 0x0021c000-0x002ac000 7 12 MAPPED
DMphys | 0x002ac000-0x002ad000 -- -- DENIED
DMphys | 0x002ad000-0x002d0000 7 12 MAPPED
DMphys | 0x002d0000-0x002e2000 -- -- DENIED
DMphys | 0x002e2000-0x00400000 7 12 MAPPED
DMphys | 0x00400000-0x0043a000 -- -- DENIED
DMphys | 0x0043a000-0x00a69000 7 12 MAPPED
DMphys | 0x00a69000-0x00c20000 0 12 MAPPED
DMphys | 0x00c20000-0x00cb3000 -- -- DENIED
DMphys | 0x00cb3000-0x01080000 0 12 MAPPED
DMphys | 0x01080000-0x0108a000 -- -- DENIED
DMphys | 0x0108a000-0x01220000 0 12 MAPPED
DMphys | 0x01220000-0x0124f000 -- -- DENIED
DMphys | 0x0124f000-0x01300000 0 12 MAPPED
DMphys | 0x01300000-0x01347000 -- -- DENIED
DMphys | 0x01347000-0x01400000 0 12 MAPPED
DMphys | 0x01400000-0x01419000 -- -- DENIED
DMphys | 0x01419000-0x01500000 0 12 MAPPED
DMphys | 0x01500000-0x0151e000 -- -- RESERVED
DMphys | 0x0151e000-0x01540000 0 12 MAPPED
DMphys | 0x01540000-0x0155f000 -- -- DENIED
DMphys | 0x0155f000-0x01800000 0 12 MAPPED
DMphys | 0x01800000-0x06400000 0 22 MAPPED
DMphys | 0x06400000-0x06700000 0 12 MAPPED
DMphys | 0x06700000-0x06ba6000 -- -- DENIED
DMphys | 0x06ba6000-0x06c00000 0 12 MAPPED
DMphys | 0x06c00000-0x7b800000 0 22 MAPPED
DMphys | 0x7b800000-0x7bb1a000 0 12 MAPPED
DMphys | 0x7bb1a000-0x7f6a0000 -- -- DENIED
DMphys |
DMphys | DMphys memory pools:
DMphys | pool 0 (Default memory pool):
DMphys | size: 2009736KB total, 2009736KB free, 32KB reserved
DMphys | 0x00a69000-0x00c20000 ( 1756KB, 2MB) free DS:
DMphys | 0x00cb3000-0x01080000 ( 3892KB, 4MB) free DS:
DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS:
DMphys | 0x0124f000-0x01300000 ( 708KB, 1MB) free DS:
DMphys | 0x01347000-0x01400000 ( 740KB, 1MB) free DS:
DMphys | 0x01419000-0x01500000 ( 924KB, 1MB) free DS:
DMphys | 0x0151e000-0x01540000 ( 136KB, 0MB) free DS:
DMphys | 0x0155f000-0x06700000 ( 83588KB, 82MB) free DS:
DMphys | 0x06ba6000-0x7bb1a000 (1916368KB, 1871MB) free DS:
DMphys | pool 7 (ISA DMA memory pool):
DMphys | size: 8192KB total, 8192KB free, 0KB reserved
DMphys | 0x0021c000-0x002ac000 ( 576KB, 1MB) free DS:
DMphys | 0x002ad000-0x002d0000 ( 1
DMphys | 0x002e2000-0x00400000 ( 1144KB, 1MB) free DS:
DMphys | 0x0043a000-0x00a69000 ( 6332KB, 6MB) free DS:
io | /L4Linux/l4io: unrecognized option `--noirq'
io | Enabling events support.
bmodfs | Passed the following modules:
bmodfs | module "/L4Linux/vmlinuz" (3633kB)
bmodfs | module "/L4Linux/linux26.cfg" (1kB)
bmodfs | module "/L4Linux/libloader.s.so" (629kB)
bmodfs | module "/L4Linux/libld-l4.s.so" (487kB)
loader | Can't map tbuf status page
io | Using platform c
ROOT: Sending ports 0cfb-0cfb to task #0b
ROOT: Sending ports 0cf8-0cfb to task #0b
ROOT: Sending ports 0cfe-0cff to task #0b
io | PCI: Using configuration type 1
io | PCI: Probing PCI hardware
io | PCI: Probing PCI hardware (bus 00)
ROOT: Sending ports 0cfc-0cff to task #0b
io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1
io | Transparent bridge - Intel Corporation 82801 PCI Bridge
io | PCI: No IRQ known for interrupt pin A of device 00:1c.0. Please try
u
io : sing pci=bios
io | PCI: No IRQ known for interrupt pin B of device 00:1c.1. Please try
u
io : sing pci=biosirq.
io | 00000000-ffffffff : PCI mem
io | d0000000-dfffffff : Intel Corporation 82G33/G31 Express Integrated
io : Graphics Controller
io | fe900000-fe9fffff : Intel Corporation 82G33/G31 Express Integrated
io : Graphics Controller
io | fea77c00-fea77fff : Intel Corporation 82801G (ICH7 Family) USB2
EHC
io : I Controller
io | fea78000-fea7bfff : Intel Corporation
io : inition Audio Controller
io | fea80000-feafffff : Intel Corporation 82G33/G31 Express Integrated
io : Graphics Controller
io | feb00000-febfffff : PCI Bus #02
io | febfc000-febfffff : Marvell Technology Group Ltd. 88E8056 PCI-E G
io : igabit Ethernet Controller
io | 0000-ffff : PCI IO
io | 0400-041f : Intel Corporation 82801G (ICH7 Family) SMBus
Controller
io | 0cf8-0cff : PCI conf1
io | c800-c80f : Intel Corporation 82801GB/GR/GH (ICH7 Family)
io : Controller
io | c880-c883 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE
io : Controller
io | cc00-cc07 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE
io : Controller
io | d000-d003 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE
io : Controller
io | d080-d087 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE
io : Controller
io | d400-d41f : Intel Corporation 82801G (ICH7 Family) USB UHCI
Control
io : ler #4
io | d480-d49f : Intel Corporation 82801G (ICH7 Family) USB UHCI
Control
io : ler #3
io | d800-d81f : Intel Corporation 82801G (ICH7 Family) USB UHCI
Control
io : ler #2
io | d880-d89f : Intel Corporation 82801G (ICH7 Family) USB UHCI
Control
io : ler #1
io | dc00-dc07 : Intel Corporation 82G33/G31 Express Integrated
Graphics
io : Controller
io | e000-efff : PCI Bus #02
io | e800-e8ff : Marvell Technology Group Ltd. 88E8056 PCI-E Gigabit E
io : thernet Controller
loader | vmlinuz: Starting application using libld-l4.s.so
loader | vmlinuz,#e: Loading binary
loader | vmlinuz,#e: Loading ldso
loader | vmlinuz,#e: Starting libld-l4.s.so at 000138e0 via 0000cf48
l4lx | ======> L4Linux 2.6 starting... <========
l4lx | Linux version 2.6.28-l4 (lvmengxuan at desktop) (gcc version 4.2.4
(Ubun
l4lx : tu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009
l4lx | Binary name: vmlinuz
l4lx | Linux kernel command line (5 args): earlyprintk=yes
l4lx : 00 init=1 mem=64M root=/dev/sda8
l4lx | Image: 00400000 - 007f5000 [4052 KiB].
l4lx | Areas: Text: 00400000 - 006c3000 [2828kB] (a bit longer)
l4lx | Data: 006c3000 - 006edd7c [171kB]
l4lx | Initdata: 006f0000 - 00735000 [276kB]
l4lx | BSS: 00736000 - 007f447c [761kB]
l4lx | l4lx_thread_create: Created thread 0e.03 (tamer0)
l4lx | Tamer0 is 0e.03
l4lx | Using tamed mode.
ROOT: Task #0c is not allowed to execute cli/sti
loader | vmlinuz,#e: WARNING: Can't map I/O space, ROOT denies page
(result=00
loader : 004000)
loader | vmlinuz,#e: Not allowed to perform any I/O
l4lx | Got 0 out of 65536 I/O ports
l4lx | Connecting to l4io server.
io | ffa0-ffafAvailable IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f
io : 10 11 ]
l4lx | l4env_linux_startup thread 4.
l4lx | l4lx_thread_create: Created thread 0e.04 (cpu0)
l4lx | main thread will be 0e.04
l4lx | l4env_register_pointer_section: addr = 006c3000 s
l4lx | sec-w-init: virt: 0x006c3000 to 0x007f4fff [1224 KiB]
l4lx | sec-w-init: Number of physical regions: 1, 1253376 Bytes
l4lx | sec-w-init: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376
l4lx | main thread: received startup message.
l4lx | memory_setup: earlyprintk=yes console=tty0,115200 init=1 mem=64M
root
l4lx : =/dev/sda8
l4lx | setup_l4env_memory: Forcing superpages for main memory
l4lx | Main thread running, waiting...
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: 0x01c00000 to 0x05c00000, Size: 67108864
l4lx | Filling lower ptabs...
l4lx | mainmem = c00000
l4lx | Done (1510 entries).
l4lx | l4env_register_pointer_section: addr = 006c3000 size = 1253376
l4lx | end: virt: 0x006c3000 to 0x007f4fff [1224 KiB]
l4lx | end: Number of physical regions: 1, 1253376 Bytes
l4lx | end: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376
l4lx | memory_setup done
[ 0.000000] Linux version 2.6.28-l4 (lvmengxuan at desktop) (gcc version
4.2.4 (
Ubuntu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009
[ 0.000000] KERNEL supported cpus:
[ 0.000000] Intel GenuineIntel
[ 0.000000] AMD AuthenticAMD
[ 0.000000] NSC Geode by NSC
[ 0.000000] Cyrix CyrixInstead
[ 0.000000] Centaur CentaurHauls
[ 0.000000] Transmeta GenuineTMx86
[ 0.000000] Transmeta TransmetaCPU
[ 0.000000] UMC UMC UMC UMC
[ 0.000000] BIOS-provided physical RAM map:
[ 0.000000] L4Lx-Memory: 0000000000000000 - 0000000000001000 (usable)
[ 0.000000] L4Lx-Memory: 0000000000800000 - 0000000000a00000 (us
[ 0.000000] L4Lx-Memory: 0000000000c00000 - 0000000004c00000 (usable)
[ 0.000000] DMI not present or invalid.
[ 0.000000] last_pfn = 0x4c00 max_arch_pfn = 0x100000
[ 0.000000] find_e820_area: start=7000 end=4c00000 size=5000 align=1000
[ 0.000000] 76MB LOWMEM available.
[ 0.000000] find_e820_area: start=0 end=4c00000 size=1000 align=1000
[ 0.000000] mapped low ram: 0 - 04c00000
[ 0.000000] low ram: 00000000 - 04c00000
[ 0.000000] bootmap 00803000 - 00803980
[ 0.000000] bootmap 00803000 - 00803980
[ 0.000000] #0 [0000000000 - 0000001000] BIOS data page ==> [0000000000
-
0000001000]
[ 0.000000] #1 [0000800000 - 0000803000] PGTABLE ==> [0000800000 -
0000803000]
[ 0.000000] #2 [0000803000 - 0000804000] BOOTMAP ==> [0000803000 -
0000804000]
[ 0.000000] Zone PFN ranges:
[ 0.000000] DMA 0x00000000 -> 0x00000a00
[ 0.000000] Normal 0x00000a00 -> 0x00004c00
[ 0.000000] Movable zone start PFN for each node
[ 0.000000] early_node_map[3] active PFN ranges
[ 0.000000] 0: 0x00000000 -> 0x00000001
[ 0.000000] 0: 0x00000800 -> 0x00000a00
[ 0.000000] 0: 0x00000c00 -> 0x00004c00
[ 0.000000] Allocating PCI resources starting at 10000000 (gap:
4c00000:fb400
000)
[ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total
pag
es: 16745
[ 0.000000] Kernel command line: earlyprintk=yes console=tty0,115200
init=1 m
em=64M root=/dev/sda8
[ 0.000000] console [earlykdb0] enabled
--__early_ioremap----------------------------------------IP: 006fb3bb
[l4lx.cpu0] (e.04) jdb:
=====End of booting=========
So the above is the problem，Could someone give me some advice how to solve this problem?
Thanks a lot !!!
Best Regards.
LvMengxuan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Output.doc
Type: application/msword
Size: 87040 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20090118/ab9c1298/attachment.doc>
More information about the l4-hackers
mailing list