Can I running camkes-arm-vm on HiKey board
1 May
2017
1 May
'17
8:41 p.m.
Hi all, Now, only exynos5 and tk1 are supported for running virtualised Linux on seL4. If I want to port it to HiKey board, is this possible?
3249
Age (days ago)
3250
Last active (days ago)
2 comments
3 participants
participants (3)
-
Adrian.Danis＠data61.csiro.au -
li94575 -
Peter.Chubb＠data61.csiro.au