chiark / gitweb /
manager: parse RD_TIMESTAMP passed from initrd