GNU Radio, One Step at a Time: Re: [Discuss-gnuradio] get GPS time from GPSDO module

On Thu, 2011-07-28 at 19:03 +0000, Bastien Auneau wrote:
> Hi All
>
> I cannot find in latest version (downloaded the 28/07/2011) how to get
> UTC time from GPSDO.
>
> There used to be a get_time() function in gps_ctrl, but not anymore
> How should I do to get GPS time ?

The mboard_sensors interface should be used.
get_mboard_sensor("gps_time") should get you what you're looking for.