The libArduino provide the basic API to access the device in FPGA for the OpenFPGAduino broad. It's the user-space driver for the OpenFPGAduino broad.