Text this: A Hardware Scheduler Based on Task Queues for FPGA-Based Embedded Real-Time Systems.