[FreeVMS] FreeVMS developers

[Guido]

Some more observations:

1) mutexes
Mutex code exists in sys_mutex.c/h but should be available in pager (and other 
servers like device drivers) too. I guess that IPC overhead is a waste in this 
case and that the mutex code should be made available as an internal library.

2) panic
Right now the kernel is able to panic in certain circumstances, although I 
don't think an unknown IPC should be one of them. Anyway, the pager (and other 
servers) should have some similar functionality. The pager is a special case 
since if the pager panics, nothing will be able to run, so effectively the 
entire system should hang. If a device driver panics, it could probably be 
restarted.

Regards,
Guido