Fix: lab3 bug

kernel/lib/interrupt.c

@@ -105,7 +105,8 @@ void irq_handler(void)
 void wfe(void)
 {
   if (!global_interrupt_pool) {
-    asm volatile("wfe");
+    // asm volatile("wfe");
+    asm volatile("nop");
     return;
   }