chiark / gitweb /
manager: calculate progress value while booting