Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 59a72f8386661c5088ea21b1202e6d7ca71214e8)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 128de648d81f292d259bfce42001f6fbdf07345e)
@@ -218,5 +218,5 @@
 	timer->regs->tiocp_cfg |= AMDM37x_GPT_TIOCP_CFG_SOFTRESET_FLAG;
 
-	while (timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG);
+	while (!(timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG));
 
 	/* Set autoreload */