port-arm32: Kernel

Subject: Kernel
To: None <port-arm32@NetBSD.ORG>
From: Kennedy Cheng <kklc@doc.ic.ac.uk>
List: port-arm32
Date: 11/13/1997 17:10:23

    Could anyone tell me how to put the kernel from RISCOS to NETBSD. I
have copied the kernel say sa110-4958 to NETBSD, but how do you extract
it?

    I would be grateful if anyone can help.

Kennedy Cheng

kklc@doc.ic.ac.uk