The boot error of L4Linux

Wed May 23 11:52:55 CEST 2007

On Wed May 23, 2007 at 11:49:01 +0200, Clermont, Nicolas wrote:
> maybe adding the 'allow_cli' option in your l4linux.cfg ? 

No, allow_cli says if cli is allowed or not. It should not be used
anymore. The error message is a pagefault, so allow_cli won't make the
error go away.

> 
> -----Message d'origine-----
> De : l4-hackers-bounces at os.inf.tu-dresden.de
> [mailto:l4-hackers-bounces at os.inf.tu-dresden.de] De la part de chenggh
> Envoyé : mercredi 23 mai 2007 19:39
> À : l4-hackers at os.inf.tu-dresden.de
> Objet : Re: The boot error of L4Linux
> 
> On Wednesday 23 May 2007 08:46, Adam Lackorzynski wrote:
> > On Wed May 23, 2007 at 09:21:11 +0000, chenggh wrote:
> > > On Tuesday 22 May 2007 10:40, chenggh wrote:
> > > > Hi:
> > > > 	When I boot the L4Linux there are some errors. In this mail there 
> > > > are
> > > > 2 attachments of linux26.cfg, grub configuration and boot log. 
> > > > Please help me to check the boot log.
> > >
> > > 	The new boot log is as following:
> > >
> > > l4lx    | L4RM: no fpage received (page fault -- asked pager C.03,
> result
> > > 0x000
> > > l4lx    : 04000)
> > > l4lx    | L4RM: [PF] read at 0x000a0000, ip 00000000, src E.04
> > > l4lx    | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
> > > l4lx    |  unhandled page fault
> >
> > You probably need 'allow_vga' in your l4linux loader configuration file.
> 	The error is same when I add the "allow_vga" in linux26.cfg like
> this:
> 
> modpath "(hd0,1)/boot/L4Linux"
> task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=64M
> root=/dev/hda2"
> all_sects_writable allow_vga
> 	The boot log is :
> 
> names   | Starting threaistening for `exit' events
> simplets| Configured for 300 tasks.
> rtc     | Date:23.05.2007 Time:17:44:03
> DMphys  | DMphys memory ap:
> DMphys  |   phys. memory 0x00000000-0x0dff0000 (from L4 kernel info page)
> DMphys  |   using 0x00100000-0x0dff0000
> DMphys  |        Memory area      Pool  PS  Flags
> DMphys  |   0x00000000-0x00100000  --   --  RESERVED 
> DMphys  |   0x00100000-0x00106000   7   12  MAPPhys  |
> 0x00107000-0x00136000   
> 7   12  MAPPED 
> DMphys  |   0x00136000-0x001be000  --   --  DENIED
> DMphys  |   0x001be000-0x002d0000   7   12  MAPPED 
> DMphys  |   0x002d0000-0x002e3000  --   --  DENIED
> DMphys  |   0x002e3000-0x00400000   7   12  MAPPED 
> DMphys  |   0x00400000-0x0043a000  --   --  DENIED
> DMphys  |   0x0043a000-0x009d6000   7   12  MAPPED 
> DMphys  |   0x009d6000-0x00b80000   0   12  MAPPED 
> DMphys  |   0x00b80000-0x00c14000  --   --  DENIED
> DMphys  |   0x00c14000-0x01080000   0   12  MAPPED 
> DMphys  |   0x01080000-0x0108a000  --   --  DENIED
> DMphys  |   0x0108a000-0x01220000   0   12  MAPPED 
> DMphys  |   0x01220000-0x01257000  --   --  DENIED
> DMphys  |   0x01257000-0x01300000   0   12  MAPPED 
> DMphys  |   0x01300000-0x01350000  --   --  DENIED
> DMphys  |   0x01350000-0x01400000   0   12  MAPPED 
> DMphys  |   0x01400000-0x0141c000  --   --  DENIED
> DMphys  |   0x0141c000-0x01500000   0   12  MAPPED 
> DMphys  |   0x01500000-0x0151c000  --   --  RESERVED 
> DMphys  |   0x0151c000-0x01540000   0   12  MAPPED 
> DMphys  |   0x01540000-0x01560000  --   --  DENIED
> DMphys  |   0x01560000-0x01800000   0   12  MAPPED 
> DMphys  |   0x01800000-0x06400000   0   22  MAPPED 
> DMphys  |   0x06400000-0x06720000   0   12  MAPPED 
> DMphys  |   0x06720000-0x0798d000  --   --  DENIED
> DMphys  |   0x0798d000-0x07c00000   0   12  MAPPED 
> DMphys  |   0x07c00000-0x0cc00000   0   22  MAPPED 
> DMphys  |   0x0cc00000-0x0cd2c000   0   12  MAPPED 
> DMphys  |   0x0cd2c000-0x0dff0000  --   --  DENIED
> DMphys  |
> DMphys  | DMphys memory pools:
> DMphys  |  pool 0 (Default memory pool):
> DMphys  |  size: 179632KB total, 179632KB free,  32KB reserved
> DMphys  |   0x000x00c14000-0x01080000 (  4528KB,    4MB) free DS:
> DMphys  |   0x0108a000-0x01220000 (  1624KB,    2MB) free DS:
> DMphys  |   0x01257000-0x01300000 (   676KB,    1MB) free DS:
> DMphys  |   0x01350000-0x01400000 (   704KB,    1MB) free DS:
> DMphys  |   0x0141c000-0x01500000 (   912KB,    1MB) free DS:
> DMphys  |   0x0151c000-0x01540000 (   144KB,    0MB) free DS:
> DMphys  |   0x01560000-0x06720000 ( 83712KB,   82MB) free DS:
> DMphys  |   0x0798d000-0x0cd2c000 ( 85628KB,   84MB) free DS:
> DMphys  |  pool 7 (ISA DMA memory pool):
> DMphys  |  size:   8192KB total,   8192KB free,   0KB reserved
> DMphys  |   0x00100000-0x00106000 (    24KB,    0MB) free DS:
> DMphys  |   0x00107000-0x00136000 (   188KB,    0MB) free DS:
> DMphys  |   0x001be000-0x002d0000 (  1096KB,    1MB) free DS:
> DMphys  |   0x002e3000-0x00400000 (  1140KB,    1MB) free DS:
> DMphys  |   0x0043a000-0x009d6000 (  5744KB,    6MB) free DS:
> bmodfs  | Passed the following modules:
> bmodfs  |   module "/boot/L4Linux/vmlinuz26" (17684kB)
> bmodfs  |   module "/boot/L4Linux/linux26.cfg" (1kB)
> bmodfs  |   module "/boot/L4Linux/libloader.s.so" (670kB)
> bmodfs  |   module "/boot/L4Linux/libld-l4.s.so" (505kB)
> io      | do_args(): Disabling internal IRQ handling.
> io      | do_args(): Enabling events support.
> io      | CPU supports 8 MTRRs. Allocated:
> io      |   0: 00000000-08000000 ( 128MB) type WB
> io      |   1: 08000000-0c000000 (  64MB) type WB
> io      |   2: 0c000000-0e000000 (  32MB) type WB
> io      |   3: d0000000-d8000000 ( 128MB) type WC
> io      |   4: d8000000-d8800000 (   8MB) type WC
> io      | PCI: Using configuration type 1
> io      | PCI: Probing PCI hardware
> io      | PCI: Probing PCI hardware (bus 00)
> io      | PCI: Via IRQ fixup
> loader  | vmlinuz26: Starting application using libld-l4.s.so loader  |
> vmlinuz26,#e: Loading binary
> io      | PCI: Via IRQ fixup
> io      | 00000000-ffffffff : PCI mem
> io      |   d0000000-d7ffffff : VIA Technologies, Inc. VT8623 [Apollo
> CLE266]
> io      |   d8000000-dbffffff : PCI Bus #01
> io      |     d8000000-dbffffff : VIA Technologies, Inc. VT8623 [Apollo 
> CLE266]
> io      :  integrated CastleRock graphics
> io      |   dc000000-ddffffff : PCI Bus #01
> io      |     dc000000-dcffffff : VIA Technologies, Inc. VT8623 [Apollo 
> CLE266]
> io      :  integrated CastleRock graphics
> io      |   de000000-de0000ff : VIA Technologies, Inc. VT6105 [Rhine-III]
> io      |   de001000-de0010ff : VIA Technologies, Inc. USB 2.0
> io      |   de002000-de0020ff : VIA Technologies, Inc. VT6102 [Rhine-II]
> io      | 0000-ffff : PCI IO
> io      |   0cf8-0cff : PCI conf1
> io      |   d000-d0ff : VIA Technologies, Inc. VT6105 [Rhine-III]
> io      |   d400-d41f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 
> Controlle
> io      : r
> io      |   d800-d81f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 
> Controlle
> io      : r (#2)
> io      |   dc00-dc1f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 
> Controlle
> io      : r (#3)
> io      |   e000-e00f : VIA Technologies, Inc. 
> VT82C586A/B/VT82C686/A/B/VT823x/
> io      : A/C PIPC Bus Master IDE
> io      |   e400-e4ff : VIA Technologies, Inc. VT8233/A/8235/8237 AC97 Audio
> 
> Co
> io      : ntroller
> io      |   e800-e8ff : VIA Technologies, Inc. VT6102 [Rhine-II]
> loader  | vmlinuz26,#e: Loading ldso
> loader  | Capability support not enabled.
> loader  | vmlinuz26,#e: Starting libld-l4.s.so at 00013ea0 via 0000cf44
> l4lx    | ======> L4Linux 2.6 starting... <========
> l4lx    | Linux version 2.6.21-l4 (root at darkstar) (gcc version 3.3.6) #1 Wed
> 
> Ma
> l4lx    : y 23 16:40:01 CST 2007
> l4lx    | Binary name: vmlinuz26
> l4lx    | Kernel command line (5 args): earlyprintk=yes console=ttyS1,115200
> 
> in
> l4lx    : it=3 mem=64M root=/dev/hda2
> l4lx    | Image: 00400000 - 007ba000 [3816 KiB].
> l4lx    | Areas: Text:     00400000 - 006e9000 [2980kB] (a bit longer)
> l4lx    |        Data:     006e9000 - 007092cc [128kB]
> l4lx    |        Initdata: 0070c000 - 007490a0 [244kB]
> l4lx    |        BSS:      0074c000 - 007b7480 [429kB]
> l4lx    | l4lx_thread_create: Created thread 0e.03 (tamer)
> l4lx    | Using tamed mode.
> l4lx    | l4env_linux_startup thread 4.
> l4lx    | l4lx_thread_create: Created thread 0e.04 (server)
> l4lx    | main thread wiection: addr = 006e9000 size = 401408
> l4lx    |      sec-w-init: virt: 0x006e9000 to 0x0074afff [392 KiB]
> l4lx    |      sec-w-init: Number of physical regions: 1, 401408 Bytes
> l4lx    |      sec-w-init: 1: Phys: 0x01161000 to 0x011c3000, Size:   401408
> l4lx    | main thread: received startup message.
> l4lx    | Main thread running, waiting...
> l4lx    | setup_l4env_memory: Forcing superpages for mai memory
> l4lx    | Main memory size: 64MB
> l4lx    | Got 2048kB of ISA DMA memory.
> l4lx    |  ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB]
> l4lx    |  ISA DMA memory: Number of physical regions: 1, 2097152 Bytes
> l4lx    |  ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size:  2097152
> l4lx    |     Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB]
> l4lx    |     Main memory: Number of physical regions: 1, 67108864 Bytes
> l4lx    |     Main memory: 1: Phys: 0x08c00000 to 0x0cc00000, Size: 67108864
> l4lx    | Filling lower ptabs...
> l4lx    | Done (1473 entries).
> l4lx    | L4RM: no fpage received (page fault -- asked pager C.03, result 
> 0x000
> l4lx    : 04000)
> l4lx    | L4RM: [PF] read at 0x0E.0] 
> l4rm/lib/src/pagefault.c:78:__unknown_pf():
> l4lx    |  unhandled page fault
> 
> 	Thanks.

Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/