Are there any official SMP implementation guidelines?

Hi all,
I am working on SMP and, in doing so, I am currently following both this and this guide. However, by looking at the description of portSET_INTERRUPT_MASK_FROM_ISR(), it seems that the old SMP design guidelines are not totally true anymore. Is there any official guide to follow to implement SMP functionalities or do I need to rely on the linked forum article and on the old design document if the article does not provide the information I seek?
Thanks

Assuming that you are asking for a guide to write FreeRTOS SMP port, we do not have one. This list by @Fresh is a good starting point. You can take a look at the existing SMP ports as well. Let us know if you face any issue and we will try our best to help.

I was following exactly the list you mentioned. I’ll let you know if I have problems, thank you.