Notes on setting up OpenELEC on a Raspberry Pi