This post was updated on December 16 to make clear that for most of FreeBSD’s history, it wasn’t possible to use RDRAND and Padlock as the sole source of random numbers fed to the /dev/random engine.