@daniel_bilar@evolutionQinc That's a really good question - to my knowledge, there are a few, but the one to have a look at might be @zymbit - zymbit.com ? It's designed for a RasPi, but networking those and making an RNG service is something I've seen done :)
@daniel_bilar@evolutionQinc@zymbit From what I recall, the implementation looks alright from what I recall, and some minor bugs I found in the ATECC608A (the HSM Zymbit use) were fixed with Microchip changing some default settings in the main github repo PDQ :)
@daniel_bilar@evolutionQinc@zymbit Else, for a 'paid for' solution, I would speak to @cambridgecqc - they have a QC certified RNG product I think (not sure if it uses a QRNG as the source) - best speak to @MrDuncanJones for details :)