ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/dde_rump/src/server/rump_fs
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
..
directory.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
file.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
file_system.cc dde_rump: Update to current version 2015-01-20 11:23:49 +01:00
file_system.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
main.cc dde_rump: Update to current version 2015-01-20 11:23:49 +01:00
node.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
node_handle_registry.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
random.cc rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00
symlink.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
target.mk rump: Add 'get_random_backend' function 2015-02-27 11:43:55 +01:00
undef.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
util.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00