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