L4linux Installation Problem(Double Page Fault)

[Sid Yu]

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)
Gcc Version: 4.3.2
Grub Version: 0.97

L4Env config: default
build command: make oldconfig O=/path-to-buildu-dir && make
O=/path-to-buildu-dir

Fiasco config: default + 'Handle and preserve segments' option was enabled
CPU type: Intel Pentium / AMD k5
build command:
  cd kernel/fiasco &&  make BUILDDIR=/path-to-buildk-dir
  cd /path-to-buildk-dir && make menuconfig
  make

L4Linux config: x86-native_defconfig + L4 build directory was set to
'/path-to-buildu-dir'
build command:
  cd l4linux-2.6 && make x86-native_defconfig && make menuconfig
  make

Grub Config:
title L4Linux (Fiasco/L4Env/L4Linux)
	kernel (hd0,0)/boot/l4linux/bootstrap -modaddr=0x02000000
	module (hd0,0)/boot/l4linux/main -nokdb -serial_esc
	module (hd0,0)/boot/l4linux/sigma0
	module (hd0,0)/boot/l4linux/roottask task modname "bmodfs" attached 5
modules
	module (hd0,0)/boot/l4linux/names
	module (hd0,0)/boot/l4linux/log
	module (hd0,0)/boot/l4linux/dm_phys --isa=0x00800000
	module (hd0,0)/boot/l4linux/simple_ts -t 300
	module (hd0,0)/boot/l4linux/rtc
	module (hd0,0)/boot/l4linux/l4io
	module (hd0,0)/boot/l4linux/bmodfs
		module (hd0,0)/boot/l4linux/cfg/l4linux26.cfg
		module (hd0,0)/boot/l4linux/libloader.s.so
		module (hd0,0)/boot/l4linux/libld-l4.s.so
		module (hd0,0)/boot/l4linux/vmlinux
		module (hd0,0)/boot/l4linux/drops-rd.rd   (I download this file from
L4linux website)
	module (hd0,0)/boot/l4linux/loader --fprov=BMODFS l4linux26.cfg

l4linux26.cfg:
sleep 1
task "vmlinux" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram
l4env_rd=drops-rd.rd"
	all_sects_writable
	allow_vga

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. 
-- 
View this message in context: http://www.nabble.com/L4linux-Installation-Problem%28Double-Page-Fault%29-tp22525172p22525172.html
Sent from the L4 mailing list archive at Nabble.com.