From cd3e83f8499f66922dc85b5e4da5c8eea70c2d14 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 25 Sep 2009 17:57:24 +0000
Subject: [PATCH] get_randomness restored.

---
 kernel/system/do_irqctl.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/kernel/system/do_irqctl.c b/kernel/system/do_irqctl.c
index bc3a43324..42a4d39a9 100644
--- a/kernel/system/do_irqctl.c
+++ b/kernel/system/do_irqctl.c
@@ -144,11 +144,7 @@ irq_hook_t *hook;
   /* As a side-effect, the interrupt handler gathers random information by 
    * timestamping the interrupt events. This is used for /dev/random.
    */
-#if 0
   get_randomness(&krandom, hook->irq);
-#else
-  FIXME("get_randomness disabled");
-#endif
 
   /* Check if the handler is still alive.
    * If it's dead, this should never happen, as processes that die