I redid everything with a fresh checkout of the RedPitaya repository and it actually worked when I used the code you posted (I did not even install the kernel headers), with the slight addition that I always have to set the SDK and not just the vivado settings, so I simply added
Code: Select all
source /opt/Xilinx/SDK/2013.3/settings64.sh
Also, thanks for the link and information regarding the fpga.bit files. Obviously, it would be nice if it actually worked but as my project will only consist of a single application in the end, it shouldn't matter too much if I load it from a bitstream within the application file or from the top-bitstream.
Cheers,
Robert