Built-in hardware devices

[rgregg]

So excited to have my HALPI2 in my hands! I'm going through the (early) documentation to figure out what devices are included and I see this in the docs:

RS-485 (NMEA 0183) is available as /dev/ttyAMA0

However, on my HALPI2 I'm not seeing anything at ttyAMA0, but have two other devices listed:

crw-rw---- 1 root dialout 204, 74 Jul 16 00:59 /dev/ttyAMA10
crw-rw---- 1 root dialout 204, 68 Jul 16 00:59 /dev/ttyAMA4

How can I tell what these are connected to on the board, and can we update the docs to reflect that?

Thanks!