A Linux-based support for developing real-time applications on heterogeneous platforms with dynamic FPGA reconfiguration