Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

alexandruradovici
Copy link
Contributor

Pull Request Overview

This pull request changes the screen driver to Tock 2.0

Testing Strategy

This pull request was tested using an STM32F412g discovery board.

TODO or Help Wanted

N/A

I am not exactly sure where to update the user space API, as the libtock-c branch https://github.com/tock/libtock-c/tree/tock-2.0-dev does not seem to have the userspace return codes implemented. Maybe I am missing something.

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@alexandruradovici alexandruradovici changed the title Update screen driver to Tock API 2.0 Update screen driver syscalls to Tock 2.0 Dec 11, 2020
Copy link
Contributor

@hudson-ayers hudson-ayers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@phil-levis
Copy link
Contributor

phil-levis commented Dec 11, 2020

I am not exactly sure where to update the user space API, as the libtock-c branch https://github.com/tock/libtock-c/tree/tock-2.0-dev does not seem to have the userspace return codes implemented. Maybe I am missing something.

Good point -- we are behind on that. I updated things for memop, but they have very limited return values. I'll update the low-level routines in libtock-c today/tomorrow.

@alexandruradovici
Copy link
Contributor Author

I am not exactly sure where to update the user space API, as the libtock-c branch https://github.com/tock/libtock-c/tree/tock-2.0-dev does not seem to have the userspace return codes implemented. Maybe I am missing something.

Good point -- we are behind on that. I updated things for memop, but they have very limited return values. I'll update the low-level routines in libtock-c today/tomorrow.

Let me know if I can help in any way.

@bradjc bradjc added the tock-2.0 Issues and PRs related to Tock version 2.0. label Dec 11, 2020
@phil-levis
Copy link
Contributor

Let me know if I can help in any way.

Thanks! I think I'm all set. Here's the PR for libtock-c: tock/libtock-c#131

@phil-levis
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 14, 2020

@bors bors bot merged commit 6017d36 into tock:tock-2.0-dev Dec 14, 2020
lschuermann pushed a commit to lschuermann/tock that referenced this pull request Mar 20, 2021
2257: Update screen driver syscalls to Tock 2.0 r=phil-levis a=alexandruradovici

### Pull Request Overview

This pull request changes the screen driver to Tock 2.0


### Testing Strategy

This pull request was tested using an STM32F412g discovery board.

### TODO or Help Wanted

N/A

I am not exactly sure where to update the user space API, as the libtock-c branch https://github.com/tock/libtock-c/tree/tock-2.0-dev does not seem to have the userspace return codes implemented. Maybe I am missing something.

### Documentation Updated

- [x] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [x] Ran `make prepush`.


Co-authored-by: Alexandru Radovici <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tock-2.0 Issues and PRs related to Tock version 2.0.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants