Thanks!  I've just compared arch/mipsco/include/prom.h to
/usr/include/sys/firmware.h from RISC/OS for the Magnum 4000,
and the prom entry points are all identical!
This may prove easier than I thought...

Cheers,
-Mark

On Mon, Jan 29, 2001 at 08:39:21PM +1300, Wayne Knowles wrote:
> 
> Hi Mark,
> 
> The mipsco port was commited just after the 1.5 branch was created in the
> master repository, so you need a recent copy of the -current kernel
> sources.
> 
> I expect the files you are after can be found at ftp.netbsd.org as part
> of /pub/NetBSD/NetBSD-current/tar_files/src/sys.tar.gz
> 
> Alternatively can check out a current copy of the kernel sources using the
> methods described on http://www.netbsd.org/Documentation/current/ 
> 
> 
> Good Luck!
> 
> Wayne
>