path: root/source/Core/BSP/Sequre/postRTOS.cpp

#include "BSP.h"

// Initialisation to be performed with scheduler active
void postRToSInit() {}