I am not sure if I ever said anything, but I did manage to get the
NetBSD/arm32 bootloader working with RISCOS 4. I have sent the
updated code to Mark Brinicombe but I do not know if it is
generally available yet. If it isn't and anybody wants the
program, could they send me an email and I will email a copy
to them.
   
Dave Daniels
 
-- 
    ___  ___  ___  ___  ___  ___   |  Free Internet E-mail and Usenet News  | 
|  /   \/   \/   \/   \/   \/   \  | +44 20 8654 2212 +44 20 8655 4412/1811 |
|    A    R    C    A    D    E    |   Croydon  UK  -  Fidonet#2:254/27.0   |
|     The Definitive Acorn BBS     | http://arcade.demon.co.uk  at weekends |