Do you recommend using all the kernels / sets from ftp.ph.kcl.ac.uk
/pub/acorn/RiscBSD/1.3-alpha
/new-kernels: 
-rw-r--r--    1 ftpadm   ftp       697533 Nov 25 04:39 RISCPC-971120.gz
/distrib:
-rw-r--r--    1 ftpadm   ftp          456 Nov 11 18:14 comp.set
-rw-r--r--    1 ftpadm   ftp      7834941 Nov 11 18:14 comp.tar.gz

or using the kernels / sets from eg. ftp.de.netbsd.org
/pub/unix/systems/BSD/NetBSD/NetBSD-1.3/arm32/binary
/kernel:
-r--r--r--  1 ftpadmin  ftpadmin   665832 Jan 19 22:43 RISCPC.gz
/sets:
-r--r--r--  1 ftpadmin  ftpadmin  7551186 Jan 20 00:18 comp.tgz

?

Patrick