arc4random
arc4random is a ChaCha20-based random number generation library. arc4random is ideal for embedded systems: it only needs to hit the hardware random number generator every few million bytes! This library is likely not a straight import into your embedded project: you will need to set it up to use your locks and talk to your …