Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement custom timer #10

Closed
geonnave opened this issue Jan 15, 2025 · 1 comment
Closed

Implement custom timer #10

geonnave opened this issue Jan 15, 2025 · 1 comment
Assignees
Labels
enhancement New feature or request testbed Related to the 1,000 DotBots testbed

Comments

@geonnave
Copy link
Contributor

We want a timer API that allows setting time references, cancelling or shifting the timer, and connecting to a PPI channel.

Initial API:

    * set_oneshot_us(timer_ch, time_ref, us, cb) -> used for tte2, rt2, rte3
    * set_oneshot_us_ppi(timer_ch, time_ref, us, ppi_ch, task) -> used for tt1 and rt1
    * fix_drift(timer_ch, drift)
    * cancel(timer_ch)
@geonnave geonnave self-assigned this Jan 15, 2025
@geonnave geonnave added enhancement New feature or request testbed Related to the 1,000 DotBots testbed labels Jan 15, 2025
@geonnave
Copy link
Contributor Author

All except PPI is solved. Close and address PPI in separate issue #32.

@github-project-automation github-project-automation bot moved this from Todo to Done in DotBot organization Feb 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request testbed Related to the 1,000 DotBots testbed
Projects
Status: Done
Development

No branches or pull requests

1 participant