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