tree 40f34c0778d8356a6725996b8e7f32a6af81fa14
parent 194bbcce9ba15634500f542b9ea017b2cf154b45
author Nick Kralevich <nnk@google.com> 1285624140 -0700
committer Nick Kralevich <nnk@google.com> 1285624140 -0700

squeeze a few more bits of randomness into /dev/random

Change-Id: Ida30c33985411f353c828b43ea26ca1b7e6502af