L4linux Installation Problem(Double Page Fault)

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Mar 17 23:43:45 CET 2009

On Mon Mar 16, 2009 at 09:17:05 -0700, Sid Yu wrote:
> Thanks for your quick reply, Adam.
> > Is this a 64bit Fedora? 
> Actually, I'm using a 32-bits version.

Ok. With the fault at 0 it's a bit tricky. At the jdb-prompt could you
issue a bttd.2 and see if it yields something useful. It should give a
backtrace which you can lookup in objdump then.
> > At which point? It might be enough to install zlib-devel or whatever the 
> > package is called on Fedora. 
> When linking l4/pkg/loader/examples/fprov-l4, this error occurs. 
> Actually, I have zlib-devel 1.2.3 installed in Fedora.

fprov-l4 is a normal Linux program, it's linked against the host
libraries (and a few l4 libs), it's also shared. So the libz.so must
be available somewhere for the linking to succeed.

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

More information about the l4-hackers mailing list