Hi everyone,
I am a PhD student. For my research, I want to use sel4 and developa
system based on it. The idea is to use the arm based multi VM and cross
VM communication ability of sel4 and provide a secure and isolated
environment for the various applications running on the system.
I was reading through the sel4 tutorials and documentation to find out
which hardware would be suitable for this. I started learning sel4 with
Raspberry Pi 3, but as Rpi3 does not have GICv2 or GICv3, I am not sure
how do I develop the CAmkES-arm-vmm, multi VM and cross VM connector on it.
As I wish to develop an application i.e a system architecture using
sel4, itwould be good to have a device that provides me the starting
point of having a multi VM and Cross VM communication. I read in the
documentation that we can use Nvidia TK1-SOM from Colorado engineering
to develop CAmkES-arm-vmm. But if I see the table here:
_https://docs.sel4.systems/projects/camkes-arm-vm/_ , it says that
CrossVM and Multi VM support is unsupported and in notes it says
untested. According to the table, this is true for TK1, TX1 and TX2.
Could someone please clarify what does this mean? Does it mean that we
cannot have these features for these hardware or is it that they are not
tested?
It will be a great help to get this information, as then I can purchase
the correct hardware and advance my work. I am new to micro-kernel
community, so I apologize if I have missed anything obvious and would be
glad to receive guidance and advice.
Hoping for a kind response.
Thank you.
Sincerely,
Zohra
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
