Integrating an HLS exported peripheral in a embedded linux system (Petalinux 2016.4 distribution) as a user-space driver.