Reducing the Overhead of Real-Time Operating System through Reconfigurable Hardware | IEEE Conference Publication | IEEE Xplore