From 20ff0ed30b5808b3881c70bfb6efdee1bda5c379 Mon Sep 17 00:00:00 2001
From: "Justin C. Miller" <justin@devjustinian.com>
Date: Mon, 18 Jan 2021 13:42:33 -0800
Subject: [PATCH] [kernel] Don't panic on unknown IRQ

On real hardware, spurious IRQs came in before they were set up to be
handled. This should be logged but not fatal.
---
 src/kernel/interrupts.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/interrupts.cpp b/src/kernel/interrupts.cpp
index a71aeb5..f0cb76a 100644
--- a/src/kernel/interrupts.cpp
+++ b/src/kernel/interrupts.cpp
@@ -292,8 +292,8 @@ irq_handler(cpu_state *regs)
 		cons->printf("\nReceived unknown IRQ: %d (vec %d)\n",
 				irq, regs->interrupt);
 		cons->set_color();
+
 		print_regs(*regs);
-		_halt();
 	}
 
 	*reinterpret_cast<uint32_t *>(apic_eoi_addr) = 0;