"Adam 'WeirdArms' Wiggins" awiggins@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