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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
