The Micrium repository is compatible with Xilinx standalone drivers for application development. However custom drivers are shipped with the BSP for selected peripherals. These drivers are usually designed to support Micrium components where standalone drivers cannot be used. To differentiate them the drivers distributed with this BSP are always prefixed with ucos_. As listed in some drivers are required for the BSP to function properly.