Implement read_buf for Hermit by thaliaarchi · Pull Request #138301 · rust-lang/rust (original) (raw)

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 andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation7 Commits1 Checks6 Files changed

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

thaliaarchi

@rustbot

r? @tgross35

rustbot has assigned @tgross35.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added O-hermit

Operating System: Hermit

S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

T-libs

Relevant to the library team, which will review and decide on the PR/issue.

labels

Mar 10, 2025

This was referenced

Mar 10, 2025

mkroening

Choose a reason for hiding this comment

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

Looks good to me, thanks! :)

@bors

tgross35

Choose a reason for hiding this comment

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

The two new unsafe blocks should get SAFETY comments, r=me after that

@thaliaarchi

@thaliaarchi

I've added SAFETY comments.

tgross35

@tgross35

@bors

📌 Commit c5fc193 has been approved by tgross35

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

labels

Mar 18, 2025

jhpratt added a commit to jhpratt/rust that referenced this pull request

Mar 18, 2025

@jhpratt

…rmit, r=tgross35

Implement read_buf for Hermit

Following hermit-os/kernel#1606, it is now safe to implement Read::read_buf for file descriptors on Hermit.

cc @mkroening

jhpratt added a commit to jhpratt/rust that referenced this pull request

Mar 18, 2025

@jhpratt

…rmit, r=tgross35

Implement read_buf for Hermit

Following hermit-os/kernel#1606, it is now safe to implement Read::read_buf for file descriptors on Hermit.

cc @mkroening

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 18, 2025

@bors

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 18, 2025

@bors

…iaskrgr

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 18, 2025

@bors

…iaskrgr

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 19, 2025

@bors

…iaskrgr

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request

Apr 2, 2025

@matthiaskrgr

…rmit, r=tgross35

Implement read_buf for Hermit

Following hermit-os/kernel#1606, it is now safe to implement Read::read_buf for file descriptors on Hermit.

cc @mkroening

github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request

Apr 2, 2025

@bors

…iaskrgr

Rollup of 7 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

Labels

O-hermit

Operating System: Hermit

S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-libs

Relevant to the library team, which will review and decide on the PR/issue.