double page-fault

[Adam Lackorzynski]

On Thu May 31, 2007 at 13:39:08 +0000, Davide Fasoli wrote:
> this is my bootloader setup for booting fiasco
> 
> title Fiasco, Console, Loader, Tiny Shell (run)
> root (hd0,2)
> kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000
> module /boot/fiasco_mod/fiasco -nowait  -serial_esc -comspeed 115200 -comport 1
> module /boot/fiasco_mod/sigma0
> module /boot/fiasco_mod/roottask 
> module /boot/fiasco_mod/names --events
> module /boot/fiasco_mod/log --events
> module /boot/fiasco_mod/dm_phys --isa=0x00800000 -v --events
> module /boot/fiasco_mod/con
> module /boot/fiasco_mod/simple_ts -t 300 --events
> module /boot/fiasco_mod/tftp
> #The loader should load and start the minishell
> module /boot/fiasco_mod/loader
> module /boot/fiasco_mod/run
> vbset 0x117 
> boot
> 

First, you also need to load 'l4io'.

> it returns me an error of Double Page Fault, how can i fix it?

I guess because you need to load 'run' via the loader, i.e. this way:

module /boot/fiasco_mod/loader run

And then, you want to use bmodfs instead of tftp because tftp is a
network server and you need some infrastructure to use it.

title Fiasco, Console, Loader, Tiny Shell (run)
root (hd0,2)
kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000
module /boot/fiasco_mod/fiasco -nowait  -serial_esc -comspeed 115200 -comport 1
module /boot/fiasco_mod/sigma0
module /boot/fiasco_mod/roottask task modname "bmodfs" attached 3 modules
module /boot/fiasco_mod/names
module /boot/fiasco_mod/log
module /boot/fiasco_mod/dm_phys
module /boot/fiasco_mod/l4io
module /boot/fiasco_mod/con
module /boot/fiasco_mod/simple_ts -t 300
module /boot/fiasco_mod/bmodfs
module /boot/fiasco_mod/run
module /boot/fiasco_mod/libloader.s.so
module /boot/fiasco_mod/libld-l4.s.so
module /boot/fiasco_mod/loader --fprov=BMODFS run
vbset 0x117 

(Haven't tried this though)


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