Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 41df2827457b04499fb5258c1cecc1ba5c7670bd)
+++ kernel/arch/amd64/src/interrupt.c	(revision 8fb47ec08ad751bb678a4335f10281077684e7a5)
@@ -98,4 +98,11 @@
 }
 
+static void de_fault(int n, istate_t *istate)
+{
+	fault_if_from_uspace(istate, "Divide error.");
+	decode_istate(n, istate);
+	panic("Divide error.");
+}
+
 /** General Protection Fault. */
 static void gp_fault(int n, istate_t *istate)
@@ -200,4 +207,5 @@
 	}
 	
+	exc_register(0, "de_fault", (iroutine) de_fault);
 	exc_register(7, "nm_fault", (iroutine) nm_fault);
 	exc_register(12, "ss_fault", (iroutine) ss_fault);