1 files changed, 0 insertions, 7 deletions
diff --git a/code/fe310/gloss/sys_exit.c b/code/fe310/gloss/sys_exit.c
deleted file mode 100644
index 1502b3e..0000000
--- a/code/fe310/gloss/sys_exit.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdlib.h>
-
-__attribute__ ((noreturn)) void
-_exit(int st) { while (1); }
-
-int
-atexit(void (*f)(void)) { return 0; }