About build of L4Linux
Lin
bugeaterk at gmail.com
Fri Jul 13 23:26:49 CEST 2007
> Please enable EARLY_PRINTK in the L4Linux configuration (under Kernel
> hacking) and add "earlyprintk=yes" to the Linux kernel command line.
> This should give us more output.
I enabled them and found new messages from kernel.
----------------------------------------------------------------------
.....
Linux version 2.6.21-l4 () (gcc version 3.4.6 20060404 (Red Hat
3.4.6-4)) #9 Sat Jul 14 05:08:25 JST 2007
CPU: Vendor unknown, using generic init.
CPU: Your system may be unstable.
dm_phys: 0000000000800000 - 0000000010800000 (usable)
256MB memory available.
Zone PFN ranges:
DMA 0 -> 512
Normal 512 -> 67584
early_node_map[1] active PFN ranges
0: 0 -> 67584
Allocating PCI resources starting at 20000000 (gap: 10800000:ef800000)
Built 1 zonelists. Total pages: 67056
Kernel command line: earlyprintk=yes console=ttyS1,115200 init=1
mem=256M root=/dev/hda1
Initializing CPU#0
PID hash table entries: 2048 (order: 11, 8192 bytes)
Detected 1995.013 MHz processor.
disabling early console
l4lx | l4lx_thread_create: Created thread 0d.05 (timer.i0)
l4lx | l4lx_thread_create: Created thread 0d.06 (Idler)
----------------------------------------------------------------------
Is the message "CPU: Your system may be unstable." abnormal ?
I'm running L4Linux on LV-673 (with Pentium M cpu).
(http://www.commell.com.tw/Product/SBC/LV-673.HTM)
Of course, I set the "target processor" Pentium M in fiasco and
L4Linux configurations.
I attached the log which all of serial output are written in.
I could not find any messages which is relate to this freeze.
Do you have anything about it ?
Regards,
Lin
-------------- next part --------------
Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden
Rev: r131 compiled with gcc 3.4.6 for Pentium M
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:D:8:16) Model: Pentium-M (Dothan) at 1995 MHz
128 Entry I TLB (4K pages) 2 Entry I TLB (4M pages)
128 Entry D TLB (4K pages) 8 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)
2048 KB L2 U Cache (8-way associative, 64 bytes per line)
Freeing init code/data: 20480 bytes (5 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 1000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
Roottask.
Command line found: "/boot/L4Linuxs/roottask task modname "bmodfs" attached 4 modules"
1038846kB (1014MB) total RAM (reported by bootloader)
973328kB ( 951MB) received RAM from Sigma0
25292kB ( 25MB) 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 12 modules.
#05: loading "/boot/L4Linuxs/names"
from [06135000-0617274f] to [002d0000-002d602a][002d7000-002e2000]
entry at 0005e070 via trampoline page code
symbols at [3bbfe000-3bc00000] (8kB), lines at [3bbf8000-3bbfe000] (24kB)
#06: loading "/boot/L4Linuxs/log"
from [06173000-061adf49] to [00400000-00406a2a][00407000-00439888]
entry at 0005f06c via trampoline page code
symbols at [3bbf6000-3bbf8000] (8kB), lines at [3bbf0000-3bbf6000] (24kB)
#07: loading "/boot/L4Linuxs/dm_phys"
from [061ae000-0623f89a] to [01500000-0151218a][01513000-0151d000]
entry at 00060070 via trampoline page code
symbols at [3bbeb000-3bbf0000] (20kB), lines at [3bbdd000-3bbeb000] (56kB)
#08: loading "/boot/L4Linuxs/simple_ts -t 300"
from [06240000-06289787] to [01400000-0140830a][01409000-01418628]
entry at 00061078 via trampoline page code
symbols at [3bbdb000-3bbdd000] (8kB), lines at [3bbd3000-3bbdb000] (32kB)
#09: loading "/boot/L4Linuxs/rtc"
from [0628a000-062b8808] to [01080000-01084240][01085000-0108a000]
entry at 0006206c via trampoline page code
symbols at [3bbd1000-3bbd3000] (8kB), lines at [3bbcc000-3bbd1000] (20kB)
#0a: loading "/boot/L4Linuxs/l4io --noirq"
from [062b9000-0651378e] to [00c20000-00c42670][00c43000-00cac000]
entry at 00064074 via trampoline page code
symbols at [3bb79000-3bbcc000] (332kB), lines at [3bb5e000-3bb79000] (108kB)
#0b: loading "/boot/L4Linuxs/bmodfs"
from [06514000-065b170c] to [01220000-01235670][01236000-0124e000]
passing module /boot/L4Linuxs/vmlinuz26 [ 065b2000-0764da3b ]
passing module /boot/L4Linuxs/config [ 0764e000-0764e084 ]
passing module /boot/L4Linuxs/libloader.s.so [ 0764f000-076f5e59 ]
passing module /boot/L4Linuxs/libld-l4.s.so [ 076f6000-07774721 ]
entry at 00065124 via trampoline page code
symbols at [3bb59000-3bb5e000] (20kB), lines at [3bb46000-3bb59000] (76kB)
#0c: loading "/boot/L4Linuxs/loader --fprov=BMODFS config"
from [07775000-078495a2] to [01300000-013248d4][01325000-01344000]
entry at 00066084 via trampoline page code
symbols at [3bb40000-3bb46000] (24kB), lines at [3bb26000-3bb40000] (104kB)
simplets| Configured for 300 tasks.
rtc | Date:13.07.2007 Time:20:33:59
bmodfs | Passed the following modules:
bmodfs | module "/boot/L4Linuxs/vmlinuz26" (17007kB)
bmodfs | module "/boot/L4Linuxs/config" (1kB)
bmodfs | module "/boot/L4Linuxs/libloader.s.so" (668kB)
bmodfs | module "/boot/L4Linuxs/libld-l4.s.so" (506kB)
loader | vmlinuz26: Starting application using libld-l4.s.so
loader | vmlinuz26,#d: Loading binary
loader | vmlinuz26,#d: Loading ldso
loader | vmlinuz26,#d: Starting libld-l4.s.so at 00013820 via 0000cf44
io | /boot/L4Linuxs/l4io: unrecognized option `--noirq'
io | begin of static cfg...............
io | end of static cfg.................
io | PCI: Using configuration type 1
io | PCI: Probing PCI hardware
io | PCI: Probing PCI hardware (bus 00)
io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.2
io | Transparent bridge - Intel Corporation 82801 Mobile PCI Bridge
io | PCI: Enabling device 00:02.1 (0000 -> 0002)
io | PCI: No IRQ known for interrupt pin A of device 00:1c.0. Please try u
io : sing pci=biosirq.
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 | 80000000-8007ffff : Intel Corporation Mobile 915GM/GMS/910GML Expre
io : ss Graphics Controller
io | c0000000-cfffffff : Intel Corporation Mobile 915GM/GMS/910GML Expre
io : ss Graphics Controller
io | d0000000-d00fffff : PCI Bus #01
io | d0020000-d0023fff : Marvell Technology Group Ltd. 88E8053 PCI-E G
io : igabit Ethernet Controller
io | d0100000-d01fffff : PCI Bus #02
io | d0120000-d0123fff : Marvell Technology Group Ltd. 88E8053 PCI-E G
io : igabit Ethernet Controller (#2)
io | d0200000-d0200fff : Ricoh Co Ltd RL5c475
io | d0300000-d037ffff : Intel Corporation Mobile 915GM/GMS/910GML Expre
io : ss Graphics Controller
io | d0380000-d03bffff : Intel Corporation Mobile 915GM/GMS/910GML Expre
io : ss Graphics Controller
io | d03c0000-d03c3fff : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 F
io : amily) High Definition Audio Con
io | d03c4000-d03c43ff : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 F
io : amily) USB2 EHCI Controller
io | 0000-ffff : PCI IO
io | 0500-051f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) S
io : MBus Controller
io | 0cf8-0cff : PCI conf1
io | b000-bfff : PCI Bus #01
io | b000-b0ff : Marvell Technology Group Ltd. 88E8053 PCI-E Gigabit E
io : thernet Controller
io | c000-cfff : PCI Bus #02
io | c000-c0ff : Marvell Technology Group Ltd. 88E8053 PCI-E Gigabit E
io : thernet Controller (#2)
io | e000-e01f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U
io : SB UHCI #1
io | e100-e11f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U
io : SB UHCI #2
io | e200-e21f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U
io : SB UHCI #3
io | e300-e31f : Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) U
io : SB UHCI #4
io | e400-e407 : Intel Corporation Mobile 915GM/GMS/910GML Express Graph
io : ics Controller
io | f000-f00f : Intel Corporation 82801FBM (ICH6M) SATA Controller
io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ]
l4lx | ======> L4Linux 2.6 starting... <========
l4lx | Linux version 2.6.21-l4 ()
l4lx : (gcc version 3.4.6 20060404 (Red Hat 3.4.6-4)) #9 Sat Jul 14 05:08:2
l4lx : 5 JST 2007
l4lx | Binary name: vmlinuz26
l4lx | Kernel command line (5 args): earlyprintk=yes console=ttyS1,115200 in
l4lx : it=1 mem=256M root=/dev/hda1
l4lx | Image: 00400000 - 007a7000 [3740 KiB].
l4lx | Areas: Text: 00400000 - 006d9000 [2916kB] (a bit longer)
l4lx | Data: 006d9000 - 006f734c [120kB]
l4lx | Initdata: 006fa000 - 007370c0 [244kB]
l4lx | BSS: 0073a000 - 007a4fa0 [427kB]
l4lx | l4lx_thread_create: Created thread 0d.03 (tamer)
l4lx | Using tamed mode.
l4lx | l4env_linux_startup thread 4.
l4lx | l4lx_thread_create: Created thread 0d.04 (server)
l4lx | main thread will be 0d.04
l4lx | l4env_register_pointer_section: addr = 00400000 size = 3379200
l4lx | sec-w-init: virt: 0x00400000 to 0x00738fff [3300 KiB]
l4lx | Noncontiguous region for sec-w-init
l4lx | sec-w-init: Number of physical regions: 5, 3379200 Bytes
l4lx | sec-w-init: 1: Phys: 0x002e2000 to 0x0038a000, Size: 688128
l4lx | sec-w-init: 2: Phys: 0x012f5000 to 0x01300000, Size: 45056
l4lx | sec-w-init: 3: Phys: 0x01419000 to 0x01500000, Size: 946176
l4lx | sec-w-init: 4: Phys: 0x001ed000 to 0x002d0000, Size: 929792
l4lx | sec-w-init: 5: Phys: 0x01344000 to 0x01400000, Size: 770048
l4lx | main thread: received startup message.
l4lx | Main thread running, waiting...
l4lx | setup_l4env_memory: Forcing superpages for main memory
l4lx | Main memory size: 256MB
l4lx | Main memory: virt: 0x00800000 to 0x107fffff [262144 KiB]
l4lx | Main memory: Number of physical regions: 1, 268435456 Bytes
l4lx | Main memory: 1: Phys: 0x07800000 to 0x17800000, Size: 268435456
l4lx | Filling lower ptabs...
l4lx | Done (1078 entries).
Linux version 2.6.21-l4 () (gcc version 3.4.6 20060404 (Red Hat 3.4.6-4)) #9 Sat Jul 14 05:08:25 JST 2007
CPU: Vendor unknown, using generic init.
CPU: Your system may be unstable.
dm_phys: 0000000000800000 - 0000000010800000 (usable)
256MB memory available.
Zone PFN ranges:
DMA 0 -> 512
Normal 512 -> 67584
early_node_map[1] active PFN ranges
0: 0 -> 67584
Allocating PCI resources starting at 20000000 (gap: 10800000:ef800000)
Built 1 zonelists. Total pages: 67056
Kernel command line: earlyprintk=yes console=ttyS1,115200 init=1 mem=256M root=/dev/hda1
Initializing CPU#0
PID hash table entries: 2048 (order: 11, 8192 bytes)
Detected 1995.013 MHz processor.
disabling early console
l4lx | l4lx_thread_create: Created thread 0d.05 (timer.i0)
l4lx | l4lx_thread_create: Created thread 0d.06 (Idler)
More information about the l4-hackers
mailing list