Per #269, this PR provides a solution to read the AMDS counter values external to the driver code.
Example usage
#include "drv/motherboard.h"
// Read the V counter
uint32_t V_counter;
motherboard_get_counters(MOTHERBOARD_1_BASE_ADDR, &V_counter, NULL, NULL);
// Now, V_counter has the counter value from the driver
Per #269, this PR provides a solution to read the AMDS counter values external to the driver code.
Example usage