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
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
Hi Ivan, Thanks for your answer. To provide more context, my project is focused on exploring all the possibilities of using seL4, which is quite a vast topic. To do this, I need to investigate the available interfaces, such as USB, Ethernet, and threads, for example. For this, I have chosen the most complete environment and board: Microkit and the Raspberry Pi 4B. I also understood that it would be easier to import drivers from a Linux VM rather than recoding them from scratch. Julia
Hi Julia Thanks for giving more context.
To do this, I need to investigate the available interfaces, such as USB, Ethernet, and threads
The sDDF (seL4 Device Driver Framework) has interfaces for various devices classes, but USB is not something we’ve explored yet. Right now we have no native drivers for the Raspberry Pi 4B.
I also understood that it would be easier to import drivers from a Linux VM rather than recoding them from scratch.
Yes, we do make use of driver VMs. So far we have done this for ethernet, block and audio devices on the Odroid-C4/MaaXBoard but they are still experimental. We have a student who is working on getting libvmm working on the Raspberry Pi 4B for another project, once we have that working we can let you know. Ivan
participants (2)
-
Ivan Velickovic -
Julia Royer