4 ms·
Do you have more information? seL4 seems to run on raspberry pi 3/4, but I didn't find any mention of cortex-m class CPUs being supported.
by rmu09 2y ago
Do you have more information? seL4 seems to run on raspberry pi 3/4, but I didn't find any mention of cortex-m class CPUs being supported.
- snvzz 2y agoNevermind, I did not realize rp2040 is M0+ thus ARMv6. ARMv7 is the minimum, and MMU is required. RISC-V is recommended.