rpi3 and Adafruit GPS Hat

[Per olof Ljungmark]

Being a complete newbie to arm I thought a nice project would be to
build a NTP server with the parts in the subject line.

Unfortunately I have almost no idea where to start, it seems FreeBSD for
arm have shifted around quite a bit, almost none of the googled pages I
find has relevance, and to add insult to injury, the Pi project
apparently shifted the serial ports around for the Pi3.

What I need to achieve,

- Stop the kernel to use the uart for console output (I have ethernet
and HDMI connected)
- Find the real uart, I suppose it is uart0 below
- Figure out how to control the gpio pins
- Enable PPS in the kernel (I can probably figure this one)

FreeBSD 12.0-CURRENT #0 r336134 GENERIC  arm64 (bcm2835)

uart0: <PrimeCell UART (PL011)> mem 0x7e201000-0x7e201fff irq 24 on
simplebus0
uart0: console (115200,n,8,1)

VERY grateful if someone that knows better can give me a push in the
right direction for up to date information.

-- 
Per olof Ljungmark