where? (.../linux/Documentation ? there's no such driver documentation)
ah, you mean in the source tree. I haven't thought of that. You know,
sometimes there's documentation in there, sometimes not. (The last case
is the common one.)
but for the case of /dev/random, the documentation is quite good. my
apologies.