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