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'

This can be used to check the determinism of: