Christian Helmuth 5c6f7bdea0 dde_rump: remove static globals		2015-11-18 12:22:05 +01:00
..
bootstrap.cc	rump: Reduce startup latency	2015-02-16 13:40:35 +01:00
dummies.cc	dde_rump: Update to current version	2015-01-20 11:23:49 +01:00
hypercall.cc	dde_rump: remove static globals	2015-11-18 12:22:05 +01:00
io.cc	unify file system utilities to os/include/file_system	2015-06-22 14:43:36 +02:00
misc.cc	rump: Add 'get_random_backend' function	2015-02-27 11:43:55 +01:00
sched.h	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
sync.cc	rump: Enable single CPU lock semantics	2015-02-27 11:43:56 +01:00