rust-raspberrypi-OS-tutorials/07_timestamps/src/cpu/boot.rs