Improving Usability of FPGA-Based Reconfigurable Computers Through Operating System Support