diff --git a/platform/galileo/loader.S b/platform/galileo/loader.S
index 66edacd08..9e0458dda 100644
--- a/platform/galileo/loader.S
+++ b/platform/galileo/loader.S
@@ -43,3 +43,8 @@
 start:
         cli
         call main
+
+        /* We're not expected to return from main(). But if we do we halt */
+        cli
+halt:   hlt
+        jmp halt