get_randomness restored.

diff --git a/kernel/system/do_irqctl.c b/kernel/system/do_irqctl.c
index bc3a433241f14b333b6feaeeb9bf060f917a2e0b..42a4d39a9de238ad446f1ecdcc8081060275253b 100644 (file)
--- 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