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 dfecf88e2d25a7ebf059fa601efa4b1ad2fb97ab)
@@ -40,5 +40,5 @@
 bool kernel_frame_pointer_validate(uintptr_t fp)
 {
-	return true;;
+	return true;
 }