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