I am using the CC2640 with RTOS/BLE with the SimpleBLEPeripheral as the basis of my firmware. I read data from various sensors and would like to periodically attach a real-time (clock time) timestamp with the data. I am unsure of what "aon_rtc.h" vs <ti/sysbios/family/arm/cc26xx/TimestampProvider.h> is and which one to use with RTOS. To put it simply, I would like this peripheral to connect with a central, set the peripheral's clock to the current time via a write from the central, then send notifications back to the cental with data+timestamps. How can I do this? Thanks!