Should a HW device even have the binaries to produce PRNG in the production codebase, when the whole point is TRNG?
That's a sharp question—if the device's whole purpose is true randomness, shipping a PRNG in production feels like a backdoor for predictability.