David van Moolenbroek 4924d1a9b5 RS changes: ... - add new "control" config directive, to let drivers restart drivers (by Jorrit Herder) - fix bug causing system processes to be started twice sometimes		2009-12-02 09:54:50 +00:00
..
exec.c	RS fixes:	2009-11-28 13:23:45 +00:00
inc.h	RS changes:	2009-12-02 09:54:50 +00:00
main.c	RS changes:	2009-12-02 09:54:50 +00:00
Makefile	support for vm priv system.	2009-09-21 14:49:04 +00:00
manager.c	RS changes:	2009-12-02 09:54:50 +00:00
manager.h	RS changes:	2009-12-02 09:54:50 +00:00
proto.h	Kernel, servers: remove unused proto.h definitions	2009-10-31 14:11:50 +00:00
service.c	RS changes:	2009-12-02 09:54:50 +00:00