Problem of running L4Linux

Mon Feb 9 22:02:56 CET 2009

On Fri Feb 06, 2009 at 10:16:51 +0800, Adam Chang wrote:
> 	loader  | vmlinuz,#10: Entry at 00009c24 => 003ff000
> 	loader  | vmlinuz,#10: Started
>         loader  | vmlinuz,#10: Double PF (r) at 00008000 eip 0040d715 (10.00)
> 
> 	--Double PF, 'g' for kill--------------------------------IP: 01304395
> 	[loader.pager] (d.03) jdb:
> 
> ======Ending of Serial Output=====
> 
> The above is my current circumstance$B!$(Bcan someone give me some advice
> how to solve this problem?

I'd like to know what's at 0x0040d715 in the vmlinux binary
(objdump -ld). Otherwise it's hard to tell.

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