search

JeremyGrosser / rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC
https://pico-doc.synack.me/
BSD 3-Clause "New" or "Revised" License
35 stars 11 forks source link

SMP in ZFP #24

Closed JeremyGrosser closed 2 years ago

JeremyGrosser commented 2 years ago

When rp2040_hal is used with a ZFP runtime, there is no support for using the second CPU core. We should add a wrapper around the SEV instruction and ensure that the startup code will work if executed by both cores. We should still push users toward Ravenscar's tasks and protected types for SMP applications and the documentation should point out the caveats of accessing hardware peripherals from two cores at the same time.

JeremyGrosser commented 2 years ago

RP.Multicore is available in release >=1.4.0