chiark / gitweb /
manager: extend performance measurement interface to include firmware/loader times