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