To accelerate product development on Xilinx® programmable devices Micrium maintains a Xilinx SDK repository. The repository includes a full evaluation version of Micrium's renowned µC/OS-II and µC/OS-III real time kernels with support for the MicroBlaze™ soft processor and Zynq®-7000 SOC.
By using the µC/OS repository, you will be able to generate a Board Support Package tailored to your hardware platform. This includes kernel configuration and start-up, tick source and optional stdin/stdout handling. Coupled with the IP-centric workflow of the Vivado™ Design Suite it's now possible to tie your FPGA design with the RTOS configuration.