L4linux Installation Problem(Double Page Fault)

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Mar 16 14:47:18 CET 2009

On Sun Mar 15, 2009 at 19:58:21 -0700, Sid Yu wrote:
> Right now I'm working on a project which utilizes Fiasco/L4Env/L4Linux
> environment, so I'm just trying to set it up on my workstation.
> Unfortunately,  I have encountered some problems which bothered me for days.
> Could anybody help me out? Any help or suggestions would be appreciated,
> Thank you.
> Here is the boot information when I try to boot L4linux: (I have also
> attached a screen shot)
> ..................................................
> loader : vmlinux: starting sigma0-style application
> loader : vmlinux: loading binary
> loader : vmlinux,#d: Entry at 00009f3c => 00400000
> loader : vmlinux,#d: Started
> loader : vmlinux,#d: Double PF (r) at 00000000 eip 00000000 (D.00)
> -- Double PF,"g" for kill------------------------------IP: 013043a5
> [loader.pager] (c.03) jdb: 
> http://www.nabble.com/file/p22525172/Double_PF.jpg 
> Here is some of my setup info:
> VMware version: 6.5
> Host OS: Fedora 10 (Linux Kernel Version: 2.6.27)

Is this a 64bit Fedora?

> BTW: When I tried to compile L4Env, the linker complains it couldn't find
> libz.a(by -lz option), so I build libz.a under l4/pkg/zlib separately and
> copied it to the build/lib directory manually, and the whole thing works!
> I'm not sure whether it's a problem of the Makefile or a problem of my
> configuration environment. 

At which point? It might be enough to install zlib-devel or whatever the
package is called on Fedora.

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

More information about the l4-hackers mailing list