Hardware implementation based on FPGA of semaphore management in μC/OS-II real-time operating system. (2015)