L4 Mapping question

[Michael Hohmuth]

"Adam 'WeirdArms' Wiggins" <awiggins at cse.unsw.edu.au> writes:

> 	A related question here. Is there any particular reason/need for
> sigma zero to be a once off pager? Why not have an inteligent resource
> manager for sigma zero?

In L4/x86 and Fiasco, this is easily possible.  Sigma0 runs on user
level and can be substituted at boot time with any program you like.
The resource manager Rmgr (which is normally used to startup L4/x86
and Fiasco) handles the nitty-gritty details of telling the kernel
where it should find its Sigma0 server.

Michael
-- 
hohmuth at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/