38.15.8. rand_check.out
Print out several parameters that normally change randomly from boot to boot:
./run --eval-after './linux/rand_check.out;./linux/poweroff.out'
Source: userland/linux/rand_check.c
This can be used to check the determinism of: