L4linux Installation Problem(Double Page Fault)
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
More information about the l4-hackers