From 33f7c5c020897efaa4b9c274bbb2e6abdd165b59 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 5 Feb 2018 14:24:02 +0100
Subject: [PATCH] no wfi

---
 examples/hello_debug.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/hello_debug.rs b/examples/hello_debug.rs
index 12b07ce..e563880 100644
--- a/examples/hello_debug.rs
+++ b/examples/hello_debug.rs
@@ -16,4 +16,6 @@ fn main() {
 
     sp!("Semihosting: Hello ");
     spln!("World! for the {} time", 50);
+
+    loop {}
 }
-- 
GitLab