[seL4] Can I running camkes-arm-vm on HiKey board

li94575 li94575 at 163.com
Mon May 1 20:41:01 AEST 2017

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170501/399636b8/attachment.html>

More information about the Devel mailing list