chiark / gitweb /
valgrind: make running PID 1 in valgrind useful