I did like

  cvs checkout l4/pkg/bootstrap
  cd l4/pkg/bootstrap
  make
  cp l4/bin/x86_586/l4v2/bootstrap /fiasco-boot/bootstrap

 In grub entry
    title hello world
        kernel  /fiasco-boot/bootstrap
        module /fiasco-boot/main -nokdb
        module /fiasco-boot/sigma0
        module /fiasco-boot/roottask
        module /fiasco-boot/hello
 
When rebooted it showed Booting File missing...


Regards
  Pai         




On 5/11/06, Bjoern Doebel <doebel@os.inf.tu-dresden.de> wrote:
Hi,

> There is no folder as bootstrap

You should get it like this:

$/home/doebel/src/l4/pkg> cd ../..
$/home/doebel/src> cvs checkout l4/pkg/bootstrap
cvs checkout: Updating l4/pkg/bootstrap
U l4/pkg/bootstrap/LEGAL
U l4/pkg/bootstrap/MAINTAINER
U l4/pkg/bootstrap/Makefile
U l4/pkg/bootstrap/README
cvs checkout: Updating l4/pkg/bootstrap/server
U l4/pkg/bootstrap/server/Makefile
[...]

Bjoern