ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-06 05:54:15 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
b9fe4a8d48
genode/repos/dde_rump/include/util
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
..
allocator_fap.h base: introduce caching attributes (fix #1184) 2014-06-26 10:57:26 +02:00
hard_context.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
random.h rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00