Do all these operating systems work on ARM?