Closed ccli8 closed 3 years ago
On Mbed OS, us_ticker bit number supported is not fixed to 32 bits. us_ticker_get_info() must be honored to fetch correct one.
us_ticker
us_ticker_get_info()
@ccli8 Thanks for the fix, we'll look into this.
On Mbed OS,
us_ticker
bit number supported is not fixed to 32 bits.us_ticker_get_info()
must be honored to fetch correct one.