l4linux booting problem

[Adam Lackorzynski]

Hi Fei,

On Mon Jul 21, 2008 at 23:06:29 +0800, fei li wrote:
> 
> title L4Linux
> kernel /bootstrap -serial -modaddr 0x2000000
> module /fiasco -serial_esc -comport 1
> module /sigma0
> module /roottask task modname "bmodfs" attached 5 modules
> module /names

Please also add
  module /log
here.

> module /l4io
> module /events
> module /dm_phys
> module /simple_ts
> module /rtc
> module /con --vbemode 0x117
> module /bmodfs
> module /vmlinuz
> module /l4linux.cfg
> module /libloader.s.so
> module /libld-l4.s.so
> module /drops-rd.rd
> module /loader --fprov=BMODFS l4linux.cfg
> 
> In l4linux.cfg, I wrote
> 
> sleep 1
> task "vmlinuz" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram
> l4env_rd=drops-rd.rd"

Please add showpfexc=1 to the parameter list. This will show lots more
output and hopefully give more information on what's going on.

> *l4lx    | L4RM: [PF] read at 0x00000000, ip 00000000, src E.02
> *l4lx    | [E.0] l4rm/lib/src/pagefault.c:81:__unknown_pf():
> *l4lx    |  unhandled page fault
> 
>     --PANIC, 'g' for exit------------------------------------IP:
> a00b3754
> [l4lx.rm] (e.00) jdb:
> 
> At last lines you will see the problem, and I checked the fiasco,  it was
> ok. I found someone had similar problems but not the  same, and Adam
> said L4Linux
> is not allowed to do port accesses (except it is explicitely allowed).  I
> don't know what my problem is and I hope someone will give me some advice
> and thanks a lot.

We'll hopefullly see with more output.


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