1 May
2017
1 May
'17
8:41 p.m.
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?