chiark / gitweb /
base/dispatch.c, etc.: Check that `rdrand' works.