hw_random.h revision ed0bd721
1