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?