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.

Sign up for GitHub

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

Jump to bottom

fix typo in set_recv_slot #142

Merged

nspin merged 1 commit into seL4:main from alwin-joshy:fix_set_recv_slot

May 29, 2024

Contributor

alwin-joshy commented May 28, 2024 •

edited

Loading

The implementation was setting the receive cnode twice instead of setting the depth.


          fix typo in set_recv_slot

85cfdec

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>

alwin-joshy requested a review from nspin as a code owner

May 28, 2024 04:06

nspin approved these changes

View reviewed changes

Member

nspin commented May 29, 2024

Thanks for catching this!

nspin merged commit 914b0ea into seL4:main

9 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet