| RISC OS Select Boot sequence - run from the desktop
| [BootScripts 1.16 (16 Oct 2002)]

IfThere BootResources:!Configure Then Filer_Run BootResources:!Configure Else Error You cannot reconfigure this machine
