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?