diff --git a/examples/resource.rs b/examples/resource.rs
index 33fb3a49803daffe84a4086373b9b1eb3d2f696f..586939308a788065c6caddf2a7c679b7ee2ae93e 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 1d0243335bf59bb1dde7060c93fb9892b4f85c18..339c2877f0fd15de7971b70fec8a969a9955f546 100644
--- a/gdbinit_manual
+++ b/gdbinit_manual
@@ -1,5 +1,5 @@
 target remote :3333
 mon reset halt
 load
-tb main
+tb idle
 continue