8000 Notes from 03/03/2023 call. by phil-levis · Pull Request #3416 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Notes from 03/03/2023 call. #3416

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

Merged
merged 1 commit into from
Mar 31, 2023
Merged

Notes from 03/03/2023 call. #3416

merged 1 commit into from
Mar 31, 2023

Conversation

phil-levis
Copy link
Contributor

Pull Request Overview

This pull request adds notes from the March 03, 2023 core call.

Testing Strategy

TODO or Help Wanted

Documentation Updated

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

Formatting

  • Ran make prepush.

to do this in Rust. Maybe I have a buffer in the capsule, I copy it
into a buffer swapped with the application?

Johnathan: I believe you can modify allow read-write to modify the reference
Copy link
Contributor

Choose a reason for hiding this comment

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

The second "modify" on line 81 should be "return".

@brghena
Copy link
Contributor
brghena commented Mar 31, 2023

bors r+

@bors
Copy link
Contributor
bors bot commented Mar 31, 2023

@bors bors bot merged commit 8e38cdc into master Mar 31, 2023
@bors bors bot deleted the core-notes-2023-03-03 branch March 31, 2023 18:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants
0