From 79af228af3647958888b450142c72f2189ba9e11 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 28 Aug 2015 04:53:51 -0500
Subject: [PATCH] ksupport: provide abort() to the kernel library.

---
 soc/runtime/ksupport.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/soc/runtime/ksupport.c b/soc/runtime/ksupport.c
index 8abee3969..c059ea42c 100644
--- a/soc/runtime/ksupport.c
+++ b/soc/runtime/ksupport.c
@@ -17,6 +17,8 @@
 #include "dds.h"
 #include "rtio.h"
 
+void ksupport_abort(void);
+
 /* compiler-rt symbols */
 extern void __divsi3, __modsi3, __ledf2, __gedf2, __unorddf2, __eqdf2, __ltdf2,
     __nedf2, __gtdf2, __negsf2, __negdf2, __addsf3, __subsf3, __mulsf3,
@@ -82,6 +84,7 @@ static const struct symbol runtime_exports[] = {
     {"__artiq_personality", &__artiq_personality},
     {"__artiq_raise", &__artiq_raise},
     {"__artiq_reraise", &__artiq_reraise},
+    {"abort", &ksupport_abort},
 
     /* proxified syscalls */
     {"now_init", &now_init},
@@ -236,6 +239,11 @@ void __artiq_terminate(struct artiq_exception *artiq_exn,
     while(1);
 }
 
+void ksupport_abort() {
+    artiq_raise_from_c("InternalError", "abort() called; check device log for details",
+                       0, 0, 0);
+}
+
 long long int now_init(void)
 {
     struct msg_base request;