You can use this copy of LOADLIN.EXE to load any Linux kernel from a local
filesystem under Microsoft Windows or MS-DOS.

If you want to boot the BBC, you can try loading this kernel and ramdisk
image.  This should work even if your system can't boot from CD.

bootbbc.bat tries to invoke LOADLIN with appropriate options to boot into
the BBC system.