Some retrogaming devices have multi-boot options where you can pick between android and linux (e.g. Anbernic RG353V).