IEEE 1588 and Synchronous Ethernet Development Kits