K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2003-11-27T20:27:29.000000Z
K 7
svn:log
V 291
Refactor AMD Elan 520 CPU support.

Make it possible to configure GPIO pins as led(4) devices, PPS inputs
and PPS-echo outputs with a sysctl.  Led(4) and PPS-echo can be configured
for active-high or active-low.

Be more complete in initialization of timecounter hardware.

Approved by:	re@

END