OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms

<table>Model of MPSoC RTOSes with a hardware shared semaphore service. Each RTOS has a local <i>Proxy</i> service which forwards a (semaphore) request to an external device (the <i>skeleton</i>) that processes the real service, as a RPC (Remote Procedure Call), except the skeleton services could be refined in hardware.</table>

International Journal of Reconfigurable Computing

fig8

Figure 8

Figure 8: OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms 