+ # Note that the firmware/loader times are returned as positive
+ # values but are atcually considered negative from the point
+ # in time of kernel initialization. Also, the monotonic kernel
+ # time will always be 0 since that's where the epoch of the
+ # monotonic clock ist. Since we want to know whether the
+ # kernel time stamp is set at all, we will thus ask for the
+ # realtime clock for this timestamp, instead.
+
+ firmware_time = properties.Get('(ss)', 'org.freedesktop.systemd1.Manager', 'FirmwareTimestampMonotonic')
+ loader_time = properties.Get('(ss)', 'org.freedesktop.systemd1.Manager', 'LoaderTimestampMonotonic')
+ kernel_time = properties.Get('(ss)', 'org.freedesktop.systemd1.Manager', 'KernelTimestamp')