...
To verifythat the repository is correctly registered you can try to generate a BSP with the File->New Board Support Package.The "ucos" BSP should be available in the list of supported BSPs.
Figure - Xilinx SDK New Board Support Package Dialog
Upgrade instructions
The recommended approach when upgrading to a new version of the μ C/OS BSP is to create a brand new BSP instead of updating the existing ones. To upgrade the BSP version in an existing workspace Micrium recommends the following workflow :
...