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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
