I guess that you used http://www.wasabisystems.com/ports.html for the
Wasabi reference?

This list is almost identical that found in the right margin
http://www.netbsd.org/ with the sole difference being that Wasabi doesn't
seem to mention the acorn32 or the playstation2 ports.

Presumably these are because of a stale page at Wasabi.  (^&

...or do I misunderstand your meaning?


  ``I probably don't know what I'm talking about.'' --rauch@math.rice.edu