-
-
Notifications
You must be signed in to change notification settings - Fork 771
ADC pending command functionality #3368
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please add a comment explaining how the syscall driver works and how applications can you it, describing the exact rules that apply.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah, nice. It looks like the machinery was there (pending_command
) but it wasn't being used.
Can you explain your refactoring of enqueue_command
?
The enqueue_command function has been slightly changed: if the current process is none, there is no need to enter the grant. Therefore, I only enter the grant when there is an active process and the new command must be set as pending. |
bors r+ |
3366: Add core WG notes for 2022-12-16. r=hudson-ayers a=jrvanwhy [Rendered](https://github.com/jrvanwhy/tock/blob/core-notes-2022-12-16/doc/wg/core/notes/core-notes-2022-12-16.md) 3368: ADC pending command functionality r=hudson-ayers a=TeodoraMiu ### Pull Request Overview This pull request changes the way the ADC capsule receives commands from apps. Before this PR, the ADC capsule could only handle one command at a time. This PR would allow the ADC capsule to set an incoming command as pending if the requested ADC channel is already in use, and run the pending command after the currently active command finishes. ### Testing Strategy This pull request was tested on a Microbit, using a fake ADC driver to simulate the case in which two commands can overlap. ### TODO or Help Wanted Feedback is greatly appreciated. ### Documentation Updated - [x] Updated the relevant files in `/docs`, or no updates are required. ### Formatting - [x] Ran `make prepush`. 3372: Implementation of PWM functionality for RP2040. r=hudson-ayers a=Ioan-Cristian ### Pull Request Overview This pull request adds PWM functionality to RP2040. ### Testing Strategy This pull request was tested using both unit test and integration tests on Raspberry Pi Pico W. The unit tests can be found inside chips/rp2040/src/pwm.rs and the integration tests in chips/rp2040/src/test/pwm.rs ### TODO or Help Wanted Running tests on other RP2040-based MCUs. ### Documentation Updated - [x] Added relevant documentation files. ### Formatting - [x] Ran `make prepush`. Co-authored-by: Johnathan Van Why <[email protected]> Co-authored-by: TeodoraMiu <[email protected]> Co-authored-by: Teodora Miu <[email protected]> Co-authored-by: Ioan-Cristian CÎRSTEA <[email protected]>
Build failed (retrying...): |
Pull Request Overview
This pull request changes the way the ADC capsule receives commands from apps. Before this PR, the ADC capsule could only handle one command at a time. This PR would allow the ADC capsule to set an incoming command as pending if the requested ADC channel is already in use, and run the pending command after the currently active command finishes.
Testing Strategy
This pull request was tested on a Microbit, using a fake ADC driver to simulate the case in which two commands can overlap.
TODO or Help Wanted
Feedback is greatly appreciated.
Documentation Updated
/docs
, or no updates are required.Formatting
make prepush
.