These instructions are for Generic ARM based Devices reported to work with CoreELEC.
End user support for these devices is provided by the CoreELEC User Support Forums