5 Sep
2023
5 Sep
'23
7:38 p.m.
Hi I have run sel4 on the development board of zcu102. I found on the official website that the camkes-vm project does not support the platform zcu102. Could you please give me some guidance to make the functions of this vmm run and run a linux on the guest.
Thanks