chiark / gitweb /
README: add kernel options