chiark / gitweb /
Also check that platform-tools and tools exist