A file on Linux systems, /dev/random, that implements a TrueRandom number generator by mixing up data from the user like mouse movements.