OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms
Figure 9
Model of RSoC specific OS: one standard customized with a DRA manager, one specific into the DRA, and another one specific for a refined shared semaphore service alone as an external device.