[seL4] Re: Raspberry Pi SMP?

David,

Is there any intent to enable SMP on the Raspberry Pi? I am using the Raspberry Pi 3B+. I'd like to be able to use all 4 CPUs.

There seem not enough resources to enable this by default at the moment. Also, the seL4 SMP verification is still ongoing. I have just looked though some dev branches and have some doubts that this works out of the box if you just enable more than one core. Basic support is there, though. Also, it's a bit unclear how much is RasPi3 and RasPi4 related actually. Seems it takes somebody to drive this topic a bit. How far did you get so far with enabling SMP in this platform? Axel