Software for a Dependable Power Computing Platform - View it on GitHub