Skip to content

Commit

Permalink
Update doc/wg/core/notes/core-notes-2024-10-04.md
Browse files Browse the repository at this point in the history
Co-authored-by: Johnathan Van Why <[email protected]>
  • Loading branch information
brghena and jrvanwhy authored Oct 7, 2024
1 parent 9258c7f commit 00a1757
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/wg/core/notes/core-notes-2024-10-04.md
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
* Lawrence: And there's an assumption that the user trusts the kernel to return a valid enum
* Johnathan: Is this about the different types the kernel can return? That seems to be expansible in the future?
* Lawrence: Yes. I was just worried that the types of enums in userland and kernel could be out-of-sync
* Johnathan: There's certainly checking in libtock-rs right now
* Johnathan: `libtock-rs` certainly assumes there may be new syscall return variants in the future
* Leon: Is there any dissenting opinion about these options?
* Brad: Not quite a dissent, but I struggle with how we're going to resolve this if we assume we can have pointers anywhere. If a command argument can take a pointer, for instance
* Lawrence: I think the plan would be to not allow that. Those must go through allow
Expand Down

0 comments on commit 00a1757

Please sign in to comment.