Re: question about roottask

At Wed, 27 Aug 2008 06:58:17 -0700,
David Leimbach wrote:
> So that includes things like having an elf loader that start other  
> servers then?

I'm not sure what you mean.  Perhaps the following answers your
question.  A possible (perhaps, typical) set up for x86 is:

An L4 boot loader is loaded at system boot.  Two such boot loaders are
laden and kickstart.  These are multiboot kernels, which can be loaded
by Grub.

The boot loader unpacks and loads Pistachio, sigma0 and the root
server, and it configures the KIP appropriately.  It then jumps to
Pistachio's entry point.

Pistachio creates L4 address spaces for sigma0 and the root server,
and starts both running.

The root server does its thing.  For instance, it interprets the
remaining multiboot modules as elf files and loads and executes them.
Alternatively, the files could also be packed into the root server's
executable.

Neal