From 544b3650df5aa29cacdf91a213b31df55d9a5792 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 6 Mar 2018 13:22:10 +0100
Subject: [PATCH] small fix

---
 examples/resource.rs | 1 +
 gdbinit_manual       | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/resource.rs b/examples/resource.rs
index 33fb3a4..5869393 100644
--- a/examples/resource.rs
+++ b/examples/resource.rs
@@ -82,6 +82,7 @@ fn init(_p: init::Peripherals, _r: init::Resources) {}
 
 #[inline(never)]
 #[allow(dead_code)]
+#[no_mangle]
 fn idle() -> ! {
     loop {
         rtfm::nop();
diff --git a/gdbinit_manual b/gdbinit_manual
index 1d02433..339c287 100644
--- a/gdbinit_manual
+++ b/gdbinit_manual
@@ -1,5 +1,5 @@
 target remote :3333
 mon reset halt
 load
-tb main
+tb idle
 continue
-- 
GitLab