chiark / gitweb /
suppress output of general pings to simulation log
authorian <ian>
Mon, 14 Jul 2008 22:08:31 +0000 (22:08 +0000)
committerian <ian>
Mon, 14 Jul 2008 22:08:31 +0000 (22:08 +0000)
commitca495e63f76ae1448ca69b44df0942155ad3da89
tree8f585133f640284d8387dcde8f3f62777b3d14ee
parent3e2891e179ea1a78d3c32c11005b6f0a27fff483
suppress output of general pings to simulation log
hostside/realtime.c
hostside/realtime.h
hostside/startup.c