Known working embedded device for CAmkES VMs
23 Sep
2021
23 Sep
'21
6:16 p.m.
I want to run cross-communicating CAmkES VMs on an embedded device. I see from https://github.com/seL4/camkes-vm-examples that my options are optiplex9020, cma34cr, and exynos5422. Are there any other options? Which of these options are known to work properly with a recent seL4 image?
1172
Age (days ago)
1172
Last active (days ago)
0 comments
1 participants
participants (1)
-
christinefragosoï¼ protonmail.com