diff --git a/cpu/x86/x86_thread_arch.c b/cpu/x86/x86_thread_arch.c
index a06c8d68e51691a857ee912e7fb84e5d640749b7..bcd494d15012182d5b92c10c50e7ef2c576d4c6c 100644
--- a/cpu/x86/x86_thread_arch.c
+++ b/cpu/x86/x86_thread_arch.c
@@ -13,7 +13,7 @@
  * @author  Martine Lenders <mlenders@inf.fu-berlin.de>
  */
 
-#include "thread_arch.h"
+#include "arch/thread_arch.h"
 
 /* This function calculates the ISR_usage */
 int thread_arch_isr_stack_usage(void)
diff --git a/sys/ps/ps.c b/sys/ps/ps.c
index 6dc005d501e0da4c73ca959b90a0e709e0e03114..9b64c6f4e7627ee3b7dd079e8c90719ce197e159 100644
--- a/sys/ps/ps.c
+++ b/sys/ps/ps.c
@@ -71,6 +71,16 @@ void ps(void)
 #endif
            "state");
 
+#ifdef DEVELHELP
+    int isr_usage = thread_arch_isr_stack_usage();                                 /* ISR stack usage */
+    printf("\t  - | isr_stack            | -        - |"
+           "   - | %5i (%5i) | -\n", ISR_STACKSIZE, isr_usage);
+    overall_stacksz += ISR_STACKSIZE;
+    if (isr_usage > 0) {
+        overall_used += isr_usage;
+    }
+#endif
+
     for (kernel_pid_t i = KERNEL_PID_FIRST; i <= KERNEL_PID_LAST; i++) {
         thread_t *p = (thread_t *)sched_threads[i];