change(pycardium): Switch systick to 32 kHz clock source

This is in perparation of epicardium being allowed to change the system clock source. By using the alternate clock source for the systick, we can keep accurate (tick) time on pycardium.

assigned to @rahix

added 1 commit

• ee96ad78 - change(pycardium): Switch systick to 32 kHz clock source

Compare with previous version

Looks good to me! Thanks for keeping our codebase clean.

However, I'm only a bot - so a human will still have to approve this request.

added 1 commit

• 02077bb2 - change(pycardium): Switch systick to 32 kHz clock source

Compare with previous version

added 6 commits

• 02077bb2...01dab506 - 5 commits from branch master
• 7ec14ce9 - change(pycardium): Switch systick to 32 kHz clock source

Compare with previous version

mentioned in merge request !480 (merged)

added 3-Pycardium label

added 1 commit

• a80eb9a4 - change(pycardium): Switch systick to 32 kHz clock source

Compare with previous version

added 1 commit

• e524d839 - fix(pycardium): Fix potential race when systick counts from 1 to 0

Compare with previous version

resolved all threads

merged

mentioned in commit 77bd73ba