Blunk offers BSPs, including board initialization and low-level drivers, with full middleware support for the following boards:

Altera Nios2 Embedded Evaluation Kit, Cyclone III Edition	Getting Started guide
Digilent Zynq Development Board (ZYBO)	Getting Started guide
Embedded Artists LPC1788 Dev Kit	Getting Started guide
Xilinx zc702 Evaluation Board	Getting Started guide
Zedboard.org Zynq Development Kit	Getting Started guide
Cortus Instruction Set Simulator (no hardware needed!)	Getting Started guide

For support for a board not listed above, contact Blunk Microsystems for an affordable quote on a custom board support package.