chiark / gitweb /
kernel-install: add kernel-install tool