[seL4] Re: Libvmm on Rasperry Pi 4B

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