2 ms·
AIUI seL4 runs on that chip. It would likely not be a bad option.
by snvzz 2y ago
AIUI seL4 runs on that chip.
It would likely not be a bad option.
- rmu09 2y agoDo 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.
- TickleSteve 2y agoThis is a microcontroller (Cortex-M) not an application processor (Cortex-A).