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