diff --git a/kernel/src/prng/rand.c b/kernel/src/prng/rand.c
index e04cb0b9e61cebf74b733d1fb9cbcddb21535a88..a05dd588da72fa2ee6e798aa05c8e3d774020987 100644
--- a/kernel/src/prng/rand.c
+++ b/kernel/src/prng/rand.c
@@ -1,11 +1,9 @@
 #include <stdlib.h>
 #include <stdint.h>
 
-static uint64_t seed;
-
 void srand(unsigned s)
 {
-    return srandom(seed);
+    return srandom(s);
 }
 
 int rand(void)