Philip Homburg b613f5cb4b Report and detect exec failures using a pipe. ... XXX Hardcoded values for s_ipc_to and s_ipc_sendrec.		2007-04-23 14:47:04 +00:00
..
exec.c	Special code for restarting disk drivers (-c flag in service).	2006-05-11 14:58:33 +00:00
inc.h	Split of architecture-dependent and -independent functions for i386,	2006-12-22 15:22:27 +00:00
main.c	Initialize exec_pipe.	2007-04-23 14:43:25 +00:00
Makefile	. service tells you which device it couldn't stat	2007-02-23 18:22:46 +00:00
manager.c	Report and detect exec failures using a pipe.	2007-04-23 14:47:04 +00:00
manager.h	Extra flags RS_SIGNALED and RS_EXECFAILED. Pipe for detecting exec failures.	2007-04-23 14:42:08 +00:00
proto.h	(Incomplete) support for access control in PCI (pci_set_acl).	2006-10-20 15:01:32 +00:00
service.c	Diagnostics from service go to standard error.	2007-04-23 14:42:58 +00:00