I am looking for a FreeRTOS SMP A53 Port. I read through this free RTOS forum and I found the checklist for porting SMP FreeRTOS to the A53 architecture [SMP Porting Checklist - A53 *4 as reference]. Is there now an official port available or do I still need to manually port my project? Because in the FreeRTOS Kernal SMP branch I don’t see any hardware specific code.