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.
How it works
A project with processing modules instantiated within a Vivado IP Integrator project can export their hardware definition to the SDK.
Which can then be used to create a µC/OS Board support package.
Where to go from here
Download
Tutorial
Documentation