Se eu chamar random_int (1.100000) do PHP, ele irá syscall getrandom (2) do Ubuntu para recuperar números aleatórios. link
getrandom (2) usa / dev / urandom por padrão, o que eu não quero, já que eu tenho um gerador de números aleatórios de hardware, alimentando / dev / random. O manual do Ubuntu diz que se o bit GRND_RANDOM estiver definido, então os bytes aleatórios são extraídos do / dev / random pool em vez do / dev / urandom pool. link
Não consigo descobrir como definir o sinalizador GRND_RANDOM. Existe um arquivo de configuração que eu preciso editar? Onde?