genode/repos/dde_rump/include
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
..
arm/rump_cgd dde_rump: block encryption server using cgd(4) 2014-05-27 11:14:45 +02:00
rump_cgd dde_rump: block encryption server using cgd(4) 2014-05-27 11:14:45 +02:00
rump_fs Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
util rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00
x86/rump_cgd dde_rump: block encryption server using cgd(4) 2014-05-27 11:14:45 +02:00