From 915c368505c460640e0ff7622b9ec47ecc2fe3d9 Mon Sep 17 00:00:00 2001
From: inmarket <andrewh@inmarket.com.au>
Date: Sat, 16 Nov 2013 22:49:36 +1000
Subject: [PATCH] gfxHalt doesn't always work under ChibiOS. This has now been
 fixed.

---
 include/gos/chibios.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/gos/chibios.h b/include/gos/chibios.h
index aa98c645..5193587a 100644
--- a/include/gos/chibios.h
+++ b/include/gos/chibios.h
@@ -63,7 +63,7 @@ typedef Thread *	gfxThreadHandle;
 extern "C" {
 #endif
 
-#define gfxHalt(msg)				chDbgPanic(msg)
+#define gfxHalt(msg)				{ chDbgPanic(msg); chSysHalt(); }
 #define gfxExit()					chSysHalt()
 #define gfxAlloc(sz)				chHeapAlloc(NULL, sz)
 #define gfxFree(ptr)				chHeapFree(ptr)