On Fri, 24 Nov 2000, Glenn Todd wrote:
> Mike
>
> Booted fine on my RPC and got vt100. However executing reboot only got
> me to
>
> rebooting....
>
> Never made it back to RiscOS.  Mind you I have the same problem with my
> 1.4 installation.

The fix for this went in for the 1.5 release 1.5_BETA didn't have it which is 
what these kernels are based on.

Chris