ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-22 12:28:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
422923cc95
genode/repos/dde_rump/src/server
History
Sebastian Sumpf 422923cc95 rump: Add 'get_random_backend' function 
A rump server may now implement its own random number generator, the default
impelementation will not generate random number.

Issue #1409
2015-02-27 11:43:55 +01:00
..
rump_cgd rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00
rump_fs rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00