Re: [seL4] Question on multi-partition seL4 image/load for x86

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, < Kofidoku.Atuah@data61.csiro.au> 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel