Text this: Galois to provide trusted computing hardware and software design and development tools.