For reasons, it's important that there is no virtualization. I know of Scaleway, which offers ARM Systems on a chip. Any others with the same kind of control / ease of use?