From 41d57afc96d51784a3577cc9a36a5641277c7e43 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Sun, 9 Mar 2014 13:57:46 +0100
Subject: [PATCH] Utility to debug stack alignment

---
 kernel/src/kernel_utils.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/kernel/src/kernel_utils.cpp b/kernel/src/kernel_utils.cpp
index 60165670..4cb58767 100644
--- a/kernel/src/kernel_utils.cpp
+++ b/kernel/src/kernel_utils.cpp
@@ -6,6 +6,7 @@
 //=======================================================================
 
 #include "kernel_utils.hpp"
+#include "console.hpp"
 
 uint8_t in_byte(uint16_t _port){
     uint8_t rv;
@@ -38,3 +39,7 @@ void out_word(uint16_t _port, uint16_t _data){
         :  /* No outputs */
         : [port] "dN" (_port), [data] "a" (_data));
 }
+
+void print_stack(const char* s, size_t check){
+    k_printf("%s stack: %u (16B-a:%u) \n", s, check, static_cast<size_t>(check % 16));
+}