Finally, seemingly several months after I ordered, the Raspberry PI has arrived. It seems to work well. I’ve connected it up to my home theatre, but haven’t done extensive testing yet. I’m going to try to play around with the IO ports to see if I can make something useful with it.
Here is Â a good link with info on the GPIO pins.
And here is a link with info on how to set up a lightweight web server called nginx (the instructions has a bug, as you have to add sudo somewhere it’s not stated).