krnl A distributed kernel management system Note that this project is still a work in progress and is not ready for production.