pooka bc1c80f7e8 Substitute a surgical rump_server configuration for rump_allserver ... now that it's possible. With warm fs cache, the startup time of the former is 0.01s and the latter 0.1s. With cold caches it's 0.2s vs 2s.		2010-12-30 16:58:07 +00:00
..
Makefile
t_raid.sh	Substitute a surgical rump_server configuration for rump_allserver	2010-12-30 16:58:07 +00:00