eve touch driver added; text box updated;

1 files changed, 2 insertions, 1 deletions

diff --git a/code/fe310/eos/interrupt.c b/code/fe310/eos/interrupt.c
index cb513a0..b9b289b 100644
--- a/code/fe310/eos/interrupt.c
+++ b/code/fe310/eos/interrupt.c
@@ -1,6 +1,7 @@
 #include <stdlib.h>
 #include <stdint.h>
 #include <unistd.h>
+#include <stdio.h>
 
 #include "encoding.h"
 #include "platform.h"
@@ -18,7 +19,7 @@ uintptr_t eos_intr_handle(uintptr_t int_num) {
     if ((int_num >=1) && (int_num <= PLIC_NUM_INTERRUPTS) && (ext_interrupt_handler[int_num-1])) {
         ext_interrupt_handler[int_num-1]();
     } else {
-        write(1, "error\n", 6);
+        printf("error:%d\n", int_num);
         exit(int_num);
     }
     return int_num;