Subject: Re: ARM platforms
To: None <port-arm@netbsd.org>
From: Andy Ball <ball@cyberspace.org>
List: port-arm
Date: 07/11/2002 21:30:33 
                                                     
Hello Jason,                                         

  JRT> /arm32 REALLY IS gone.  I deleted it myself.  The
     > web pages must be out of date.                   

It's okay, I believe you!  :-)      

Regards,
  - Andy Ball.