> On 27. Jun 2019, at 21:03, Leo Famulari wrote: > Perhaps, but if the reason for the slowness on their first boot was a > suboptimal /dev/hwrng source, I would expect it to be equally slow for > each boot, since we unconditionally read 64 bytes each time. It’s 512 bytes, not that that should fundamentally change anything.