OpenCL + Cyclone V SoC

My previous comment is still held in moderation, but here's a PS - http://www.rocketboards.org/foswiki/documentation/gsrdreleasenotes

According to this November 21st post on RocketBoards:

--- Quote Start ---

CV SoCFPGA GSRD has been updated to ACDS13.1 code base using ACDS13.1 tools and software release.

AV SoCFPGA GSRD has been created, and it has the same set of software features as CV SoCFPGA GSRD.

This Linux BSP release supports the CycloneV SoC Development Kit, and provides the following for the CycloneV SoC:

Linux kernel v3.9

Drivers: I2C, LCD, EEPROM, RTC, Ethernet, USB (Host), Watchdog, SD/MMC, QSPI, DMA, FPGA Manager, and FPGA Bridges

Boards: Cyclone V DevKit Rev C.

U-Boot 2013.01

Linaro's GCC 4.7 2012.11

--- Quote End ---

It looks like that is what I need to investigate next!