[LEAPSECS] systems that use GPS time

[Steve Allen]

Are there any folks who can comment on the operation of ensembles
of systems which use GPS time instead of UTC?

What are these systems?

What reasoning went into the choice of GPS time?
How did they reason so as to overcome the implicit mandates
that POSIX and  international standards place on the use of UTC?
Was the choice made because of an aversion to the handling of
leap seconds, or were there other concerns?

Do they use the standard zoneinfo files and just tolerate the fact
that the broken down time reports are off by a few seconds?
Or do they install custom zoneinfo files and get reports as true
UTC and/or local zone time?

--
Steve Allen               <sla at ucolick.org>              WGS-84 (GPS)
UCO/Lick Observatory      Natural Sciences II, Room 165  Lat  +36.99855
University of California  Voice: +1 831 459 3046         Lng -122.06015
Santa Cruz, CA 95064      http://www.ucolick.org/~sla/   Hgt +250 m