Thanks for the quick feedback!
I’m currently following the task notification with a call to portYIELD_FROM_ISR(), which I believe directly runs the task after the ISR returns.
One of the main motivations for using SMP in my application is that I’m using an AUTOSAR-compliant library for perpheral configuration (MCAL) which is designed to manage resources under the assumption that it’s operating in an SMP-style configuration (AUTOSAR Classic). If FreeRTOS SMP can deliver sufficient performance, it would make the project far simpler than having to manage effectively 3 separate single-core projects, each with an instance of FreeRTOS, the MCAL, separate linker files + binaries, etc. The ability to use FreeRTOS inter-task communication primitives would also help a lot in that regard.