Comment by setheron

The kernel's RNG is seeded from a seed passed at boot.