OS support for SoCFPGA
Here's the ecosystem of operating systems, supporting the SoCFPGA architecture
ThreadX
Express Logic provides the BSP, see
http://www.rtos.com/
QNX
The port to SoCFPGA is available from QNX,
http://www.qnx.com
VxWorks
The port to SoCFPGA is available from WindRiver,
http://www.windriver.com
OSE
The port of OSE for SoCFPGA is available from ENEA,
http://www.enea.com/
ucOSII
See Micrium's web site for the details,
http://www.micrium.com