Re: NetBSD-current Time issues on RPI3

[Sad Clouds <cryintothebluesky%gmail.com@localhost>]

On Sat, 4 May 2019 16:46:26 -0000 (UTC)
mlelstv%serpens.de@localhost (Michael van Elst) wrote:

> thorpej%me.com@localhost (Jason Thorpe) writes:
> 
> >Seems like we should use the same time source in both modes.  Itâ??s
> >not like the DT is different between the two modes.
> 
> Linux uses the RPI specific timers in 64bit mode, but FreeBSD uses
> GTMR. Someone should find out if FreeBSD has the same issues...

How would this help? Are you thinking of porting FreeBSD implementation
and also, what's the advantage of using generic timer vs RPI?