udzura/miehisto

A checkpoint manager for application servers. Contribute to udzura/miehisto development by creating an account on GitHub.