mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-15 08:41:01 +00:00
Since rump now requires large buffers of random numbers (>= 512 bytes), use the jitterentropy library instead of the slow timer pseudo random number generation. Fixes #1393