Hi Ivan, Thank you very much for these details, they help me a lot.
Given the current state of support for the Raspberry Pi 4B, I think I will change the board I plan to use for my project to one with a more developed environment. Thanks again for your help! Kind regards, Julia _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
