Again, thanks for the replies. Dug up a Raspberry Pi board but I had a problem as I didn't have easy access to an HDMI monitor or USB keyboard and mouse, however a little searching came up with a simple way to set it all up over an SSH link. I had a few stability issues, but finally tracked them down to an under-powered power supply. All is good!