From 5607e7cb4ce9bb97c18d3d568b0aefba35927c6b Mon Sep 17 00:00:00 2001 From: Amit Levy Date: Fri, 11 Oct 2024 08:38:15 -0700 Subject: [PATCH] Update doc/wg/core/notes/core-notes-2024-10-04.md Co-authored-by: Johnathan Van Why --- doc/wg/core/notes/core-notes-2024-10-04.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/wg/core/notes/core-notes-2024-10-04.md b/doc/wg/core/notes/core-notes-2024-10-04.md index cb22321f62..e5790fce4a 100644 --- a/doc/wg/core/notes/core-notes-2024-10-04.md +++ b/doc/wg/core/notes/core-notes-2024-10-04.md @@ -67,7 +67,7 @@ * Johnathan: So it's more than just pointers. Okay. The other thing that confused me, in non-CHERI you're relying on the cast to copy provenance information, correct? * Lawrence: I wonder if I could rewrite that wrapper layer with strict provenance in mind. * Johnathan: I used `*mut ()` in libtock-rs for similar things. Maybe I'm thinking too strictly about it. - * Lawrence: Maybe I should change to strict provenance. Would that cause issues across the kernel? + * Lawrence: Maybe I should change to strict provenance APIs. Would that cause issues across the kernel? * Johnathan: It's problematic. There is a library that would help, but the authors are not responsive about how we could license it. * Lawrence: Okay, maybe I'll make a partial step that direction but not a full one * Lawrence: Right now I'm either making it a usize or a CHERI type, which is wider on CHERI platforms. It should probably be `*const ()` in my Rust code