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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
