Second core Wake up sequence in SMP

Combined with my previous understanding from this, the secondary core should be sent to sleep or an empty infinite loop after basic initialization.
Then it should resume processing at xPortStartScheduler(), where it should call vPortRestoreTaskContext() or an equivalent function. This function will set the idle task in the currentTCB and it will be the first task any core will execute.

Is my understanding correct?