Philip Homburg 0c1d433f60 rs changes (also use driver configurations in the image ramdisk)		2006-10-31 13:35: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	(Incomplete) support for access control in PCI (pci_set_acl).	2006-10-20 15:01:32 +00:00
main.c	rs changes (also use driver configurations in the image ramdisk)	2006-10-31 13:35:04 +00:00
Makefile	System statistical and call profiling	2006-10-30 15:53:38 +00:00
manager.c	rs changes (also use driver configurations in the image ramdisk)	2006-10-31 13:35:04 +00:00
manager.h	rs changes (also use driver configurations in the image ramdisk)	2006-10-31 13:35:04 +00:00
proto.h	(Incomplete) support for access control in PCI (pci_set_acl).	2006-10-20 15:01:32 +00:00
service.c	rs changes (also use driver configurations in the image ramdisk)	2006-10-31 13:35:04 +00:00