[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


Hi,

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).

Adrian

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>
https://sel4.systems/lists/listinfo/devel


-------------- 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