For the Xilinx MicroBlaze™ soft-core processor solution, LynuxWorks offers support for uClinux, again utilizing LynuxWorks embedded support and services group to help get MicroBlaze developers up and running fast.
RTOS support: uClinux
Tool support: Compiler and Debugger
EDK Platform Studio
Hardware platform used in validation
Spartan-3E FPGAs - Xilinx SP3E1600E target single board computer (SBC)
