Packet Number

I want to use the packet number received via the dashboard port to synchronize data in a program running on the robot controller. Is this field populated and available to code running on the user processor?

Yes. The packet number is a variable define in the User Code as rxdata.packet_num. It is defined in the ifi_default.h file.