diff --git a/tests/benchmark/footprint/microkernel/src/microkernel_footprint.c b/tests/benchmark/footprint/microkernel/src/microkernel_footprint.c
index ce2f100ec76..32be3e8baf5 100644
--- a/tests/benchmark/footprint/microkernel/src/microkernel_footprint.c
+++ b/tests/benchmark/footprint/microkernel/src/microkernel_footprint.c
@@ -33,9 +33,9 @@
 #define TEST_SOFT_INT	  64
 
 #ifdef TEST_max
-#define MESSAGE "Running maximal microkernel configuration\n"
+#define MESSAGE "Running maximal microkernel configuration %p\n"
 #else
-#define MESSAGE "Running regular microkernel configuration\n"
+#define MESSAGE "Running regular microkernel configuration %p\n"
 #endif /* TEST_max */
 
 typedef void* (*pfunc) (void*);