joerg cfb300c780 Mark rumpuser_exit and rumpuser_thread_exit as dead.		2011-05-23 20:49:35 +00:00
..
machine	Update copyright statements.	2011-03-21 16:41:08 +00:00
rump	Mark rumpuser_exit and rumpuser_thread_exit as dead.	2011-05-23 20:49:35 +00:00
Makefile	Descend into include/rump and install headers.	2008-11-17 08:54:39 +00:00