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> <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