/patch-PDP11_pdp11_vh_c/1.3/Tue Jul 24 20:45:41 2007//
/patch-VAX_vax780_sbi_c/1.3/Tue Nov  4 22:13:30 2008//
/patch-VAX_vax_sysdev_c/1.6/Tue Nov  4 22:13:30 2008//
/patch-makefile/1.12/Tue Nov  4 22:13:30 2008//
/patch-scp_c/1.14/Sun Sep 23 02:27:39 2007//
/patch-sim_ether_c/1.9/Tue Jul 24 20:45:41 2007//
/patch-sim_timer_c/1.2/Tue Nov  4 22:13:30 2008//
D
