Index: kernel/arch/abs32le/src/debug/stacktrace.c
===================================================================
--- kernel/arch/abs32le/src/debug/stacktrace.c	(revision d32358f46cafe03f9b3c769982c62f90757ba1c4)
+++ kernel/arch/abs32le/src/debug/stacktrace.c	(revision 39e8406404efea86e341847c0720d5d65bed7959)
@@ -40,5 +40,5 @@
 bool kernel_frame_pointer_validate(uintptr_t fp)
 {
-	return true;;
+	return true;
 }