Files: /kernel/hw_random.html