{"push_id":590729489,"size":1,"distinct_size":1,"ref":"refs/heads/linux_sys_time_clock_monotonic","head":"b1493c416ca4bde1a3c8ba02450ea7db73aa6286","before":"10e1a4b751ad0ec7eeb8d0008eb73a26bdbb36ac","commits":[{"sha":"b1493c416ca4bde1a3c8ba02450ea7db73aa6286","author":{"email":"a1ad8d4998affe77c3721540df7e968324e8e258@gmail.com","name":"Felix Ruess"},"message":"[arch/linux] sys_time: get time from CLOCK_MONOTONIC\n\nInstead of simply adding up the sys_time ticks, seconds, get curent time from CLOCK_MONOTONIC and directly set sys_time from that\n(difference to clock monotonic time at startup).","distinct":true,"url":"https://api.github.com/repos/paparazzi/paparazzi/commits/b1493c416ca4bde1a3c8ba02450ea7db73aa6286"}]}