Subject: Re: NetBSD/arm32 fails to boot with RISCOS 4
To: Dave Daniels <Davedan@arcade.demon.co.uk>
From: Neil A. Carson <neil@causality.com>
List: port-arm32
Date: 08/07/1999 13:33:46 
Come to think of it, I hadn't realised RISC OS 4 had actually started
shipping. Certainly it seemed to go out with a low profile, no? I never
heard news of it on the Acorn Cyber Village or anything.

	Neil