The text c09f9d13290e, as Debian 13 (Trixie) shipped it. The page shows this text now.
get the current time
rtapi_get_time(3rtapi) on Linux now
