The x86 ports implement the end scheduler function as these ports are booted from DOS - and therefore can return to DOS when the scheduler ends. Generally with other ports I have not bothered to implement the end scheduler function as there is nowhere for the execution to return to. You could have a look at the x86 ports to see what these do, but I think this would be overkill for your needs - really all you want to do is stop the scheduler running then reset the system. Resetting the processor will ensure the scheduler starts up in a consistent initialised state, so you don’t need to do this manually.
To stop the scheduler you need to stop the tick interrupt. This can be done by halting the timer used to generate the tick. Alternatively you can disable interrupts (but this might effect your ability to reprogram the flash) or call vTaskSuspendAll() without calling vTaskResumeAll(). This last option would not stop the tick interrupt, but it would prevent the tick interrupt from attempting to switch task contexts.