j
k
j a
j l
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?
Attachments:
Back to the thread
Back to the list