ACPI
Timer auslesen
Betriebssystem:
# cat /sys/class/rtc/rtc0/wakealarm
BIOS:
# cat /proc/driver/rtc