--- /tmp/sos-code-article2/hwcore/exception.c	2004-05-25 14:15:19.000000000 +0200
+++ hwcore/exception.c	2004-06-21 21:25:41.000000000 +0200
@@ -30,7 +30,13 @@
 
 sos_ret_t sos_exceptions_setup(void)
 {
-  return SOS_OK;
+  /* We inidicate that the double fault exception handler is defined,
+     and give its address. this handler is a do-nothing handler (see
+     exception_wrappers.S), and it can NOT be overriden by the
+     functions below */
+  return sos_idt_set_handler(SOS_EXCEPT_BASE + SOS_EXCEPT_DOUBLE_FAULT,
+			    (sos_vaddr_t) sos_exception_wrapper_array[SOS_EXCEPT_DOUBLE_FAULT],
+			    0 /* CPL0 routine */);
 }