Operating systems for reconfigurable computing (RCOS) facilitate the usage of Field Programmable Gate Arrays (FPGAs). RCOSes abstract from hardware details, utilise virtualisation, and provide standardised functionality. They allow different applications to run hardware tasks concurrently on the same FPGA by managing shared resources like FPGA area, I/O, and memory. Next to spatial partitioning, time multiplexed sharing of the FPGA can be reached via Dynamic Partial Reconfiguration (DPR).
