Is it (or would it be) possible to specify more than the single root server module and have seL4 create virtual addresses, cap. Spaces, threads (leaving them suspended) and pass the information about these modules to the root server?  In this way it would be possible to  have GRUB load a multi-server seL4 environment.

 

                Thanks,

 

                Dave