falls du nix wirklich sehr wichtiges vor hast, ist es doch *** egal, ob der Wecker jetzt um 12:00:00,001 oder um 12:00:00,000 "hochgeht". Das dein Betriebssystem deine Anfrage innerhalb von 1ms bearbeitet kannst du wohl vergessen. Da brauchst du schon ein Realtime
OS. Und auch die garantieren glaub ich nur ne Zeit von 40ms.
Also ">="