Hi Julia >From the perspective of libvmm there are only two hash defines for some >board-specific information that would be needed to get libvmm working.
However, getting a Linux VM or something is more involved as it involves modifying one of the examples (e.g the simple example) which means fiddling with the device trees and Linux configuration etc, as that does change a lot from board to board. I guess it would probably be best to first ask what you would like to use libvmm for? Ivan > On 6 Mar 2025, at 01:28, Julia Royer via Devel <devel@sel4.systems> wrote: > > 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
