From 9c1e496ef5e9a8ab64b4689357fa2dca5bfe9c6a Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge.aparicio@ferrous-systems.com>
Date: Wed, 24 Jun 2020 16:57:53 +0200
Subject: [PATCH] dk: print message before exiting

---
 boards/dk/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/boards/dk/src/lib.rs b/boards/dk/src/lib.rs
index 901633a..f080c5d 100644
--- a/boards/dk/src/lib.rs
+++ b/boards/dk/src/lib.rs
@@ -301,6 +301,7 @@ fn RTC0() {
 /// Exits the application and prints a backtrace when the program is executed through the `dk-run`
 /// Cargo runner
 pub fn exit() -> ! {
+    log::info!("`dk::exit() called; exiting ...`");
     loop {
         asm::bkpt()
     }