mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 10:21:04 +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