pub const HART_HZ: u64 = 62_500_000;
The hart’s clock: the DDR2 controller’s divided clock, which the hart shares.