Hello, I am currently working on a project aimed at exploring the capabilities of the seL4 microkernel and Microkit. For this purpose, I have chosen the Raspberry Pi 4B board. I noticed that libvmm is not yet supported for this platform. Do you have an estimate on when Raspberry Pi 4B might be supported?
Thank you for your time and support. Kind regards, Julia Royer _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
