Operating System Design for Partiallly Reconfigurable Logic Devices