1 files changed, 0 insertions, 8 deletions
diff --git a/src/console/console.c b/src/console/console.c
index 008130fb63..c176bc5d0c 100644
--- a/src/console/console.c
+++ b/src/console/console.c
@@ -81,11 +81,3 @@ void post_code(uint8_t value)
 	outb(value, 0x80);
 #endif
 }
-
-/* Report a fatal error */
-void __attribute__((noreturn)) die(const char *msg)
-{
-	printk_emerg("%s", msg);
-	post_code(0xff);
-	while (1);		/* Halt */
-}