...
For absolute minimum resource usage it's possible to run the kernel without a timebase. Timeouts, delays and software timers will not work in this configuration.
MicroBlaze hardware design
Most configurations of the MicroBlaze are support to suit a design's needs. However the MSR instruction and pattern comparator option will give a considerable boost in kernel performance at a minimal logic resource cost.