...
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