Open, inspectable mobile-computing platform designed around verifiable hardware and security research.