...
The kernel timebase on a MicroBlaze system can be derived from any available AXI Timer available in the hardware. It's also possible to reduce resource usage by using a fixed interval timer, or any other periodic interrupt source. The tick source can be configured by setting the MB_KERNEL_TICK_SRC configuration in the BSP settings. When using a fixed source the attached interrupt controller should be selected and the interrupt source configured in MVMB_KERNEL_TICK_INT_SRC.
No kernel tick
...