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

Adrian.Danis at data61.csiro.au Adrian.Danis at data61.csiro.au
Tue May 2 13:56:54 AEST 2017


I'm not sure what you mean by 'possible'. A port is definitely possible, but so is just about anything. Are you asking if it will require kernel changes? That I'm not sure of. Certainly if you want SMMU support you will need to provide an implementation of that for the HiKey platform (if it has an SMMU, I'm not sure).


On Mon 01-May-2017 8:41 PM, li94575 wrote:
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?

Devel mailing list
Devel at sel4.systems<mailto:Devel at sel4.systems>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170502/94ee3b57/attachment.html>

More information about the Devel mailing list