Thanks for following up.
I was planning to use a hardware random generator but it seem that it’s not exposed on the ARMv7 platform (need to ask R&D that work with Qualcomm).
I’m thinking of using other physical sources such as RF front end etc. to create random generation as a source. Need to look into it a bit further.
I’m using the randombytes_internal_random_buf that uses chacha20.
The code is the same I use I just need to provide a hardware source of randmom generation by randombytes_getentropy