search

seL4 / util_libs

Other
53 stars 83 forks source link

hifive: Check if overflow IRQ is actually pending #165

Closed Indanz closed 1 year ago

Indanz commented 1 year ago

Timer may have been reset, or the overflow may be already handled by pwm_get_time().

This fixes sel4test issue 91.

kent-mcleod commented 1 year ago

I can confirm that the timer test does run for the correct duration now.