#ifndef SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H
#define SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H

#include <sandbox_request_scheduler.h>

void sandbox_request_scheduler_ps_initialize();

#endif /* SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H */