set_timer(8) on Linux

The text 6d4007e643df, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it. The page shows this text now.

Assuming a fixed wakeup time in the BIOS, it modifies the system time, so that it will wake up after the specified sleep time.