tree 3d8c676017bf6f7e0d0298a075366ffe6db00a4a
parent edb69c43750ae7c01614c59b525e5f263bc18b38
author Davide Pesavento <davide.pesavento@lip6.fr> 1546548654 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1546548654 -0500

core: seed the global PRNG with more entropy

Change-Id: I874b742e0d7cccfc71eb4ea21c60e6e1042d7d6f