1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/common/syscalls.c b/benchmarks/common/syscalls.c
index 4940aa2..0a7d6b7 100644
--- a/benchmarks/common/syscalls.c
+++ b/benchmarks/common/syscalls.c
@@ -5,6 +5,7 @@
 #include <stdarg.h>
 #include <stdio.h>
 #include <limits.h>
+#include <sys/signal.h>
 #include "util.h"
 
 #define SYS_write 64
@@ -68,6 +69,11 @@ void exit(int code)
   tohost_exit(code);
 }
 
+void abort()
+{
+  exit(128 + SIGABRT);
+}
+
 void printstr(const char* s)
 {
   syscall(SYS_write, 1, (uintptr_t)s, strlen(s));