diff --git a/kernel/main.c b/kernel/main.c
index 440d10f1fbdc19877ce7609b8758a41385217900..b3f1a90afbd220b9711aad90f79b9af317298b29 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -74,4 +74,4 @@ main(unsigned long hartid, unsigned long dtb_pa)
     printf("hart 1 init done\n");
   }
   scheduler();
-}
\ No newline at end of file
+}
diff --git a/kernel/trap.c b/kernel/trap.c
index 43247e08cd155296f6435a9adbeb1079e7c8edf6..9de34d2200f759e9c6991f5a9fff686e0dc21177 100644
--- a/kernel/trap.c
+++ b/kernel/trap.c
@@ -268,7 +268,7 @@ void device_init(unsigned long pa, uint64 hartid) {
   uint32 *hart0_m_int_enable_hi = (uint32*)(PLIC_MENABLE(hartid) + 0x04);
   *(hart0_m_int_enable_hi) = (1 << 0x1);
   // *(uint32*)0x0c002004 = (1 << 0x1);
-  sbi_set_extern_interrupt((uint64)supervisor_external_handler);
+  // sbi_set_extern_interrupt((uint64)supervisor_external_handler);
   #else
   *((uint32*)0x0c002080) = (1 << 10);
   *((uint8*)0x10000004) = 0x0b;