Hello,

Just a little note to the Microblaze port:

In portmacro.h, #define portENTER_CRITICAL():
Shouldn't it be portDISABLE_INTERRUPTS() instead of microblaze_disable_interrupts() there?

Because portEXIT_CRITICAL() is using portENABLE_INTERRUPTS().

Not really important, but...