libplatsupport,imx: Update timer drivers to handle more boundary-conditions/edge cases

seL4 / util_libs

Other

55 stars 83 forks source link

libplatsupport,imx: Update timer drivers to handle more boundary-conditions/edge cases #110

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 2 years ago

When programming timeouts using the ltimer, if the timeout is too soon, ETIME needs to be returned instead of attempting to program a timeout which may end up being and underflowed timer value otherwise
When reading the upcounter, handle the situation when the counter ticks over between reading it and reading the overflow hardware bit.

github-actions[bot] commented 2 years ago

@kent-mcleod

This PR must be rebased against the target branch.

lsf37 commented 2 years ago

The test failure is my fault, haven't set up permissions to secrets yet for this repo. One sec.

lsf37 commented 2 years ago

The test failure is my fault, haven't set up permissions to secrets yet for this repo. One sec.

Ok, now it should work.

lsf37 commented 2 years ago

Ok, the failure is one of those tx2 dhcp problems. We could re-run everything, but I'd be comfortable merging as is (it'll run again anyway in the main regression).