FPGA Clock Configuration Device Driver for Linux - View it on GitHub