The coreelec web site states:
Quote:
CoreELEC is a ‘Just enough OS’ Linux distribution
|
So, the answer to your question is "yes".
EDIT: There are many other ARM-based computers. You may have heard of Raspberry Pi. I own an Odroid, which runs Ubuntu but can also be used with ARMbian. There is also Archlinux/ARM and many others.