1 files changed, 6 insertions, 1 deletions
diff --git a/src/svc.c b/src/svc.c
index 4342a95..f132571 100644
--- a/src/svc.c
+++ b/src/svc.c
@@ -22,14 +22,19 @@
 #include <stdint.h>
 #include <gpio.h>
 #include <clock.h>
+#include <task.h>
 
 extern void gpio_svc(uint32_t *);
 
 void svc_handler(uint32_t *args)
 {
-	uint32_t svc_number = ((char *)args[6])[-2];
+	/*uint32_t*/int svc_number = ((char *)args[6])[-2];
 
 	switch (svc_number) {
+	case -1:
+	case 0:
+		_exit(args[0]);
+		break;
 	case 1:
 		gpio_svc(args);
 		break;