A virtual machine. Or a “container” that is able to be time and space isolated from from other containers.
I realize threads in seL4 are nearly as good as partitions in other OS, but I really want the strict isolation provided by a VM. I am looking to operate it more like a type 1 hypervisor. Jim Sent from my iPhone On Aug 1, 2018, at 6:26 PM, <[email protected]> < [email protected]> wrote: Hey Jim, Apologies, but I'm not sure I understand what you mean by "partition" in this context -- could you please clarify that for me? -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
