Brad Campbell
Brad Campbell
For documenting process loading, does that mean describing these two traits: https://github.com/tock/tock/blob/1eccd0b53d86269fb396038f83a3b88ec72c920e/kernel/src/process_loading.rs#L428-L454 ? I'm unsure what other questions you are thinking of that would help to have answered in a...
We're adding to this functionality, but can't update the TRD because it was never merged. It's never been clear to me what is required to make this acceptable.
This is just sitting here. What is needed to merge this?
I added another sentence, but, this is somewhat hard to document. We don't have a board that doesn't use the debugging, and I'm not sure this is important enough to...
@lschuermann I know we talked about this for a while. I don't remember anymore what the next step seemed to be, but this still seems like a step in the...
What about `AuthenticatedPtr` for a name?
Is there ever a use for `CapabilityPtr` within the kernel? If this can only ever work for pointers within userspace, perhaps we should include that in the name? Or, I...
What are the downsides to having multiple capability pointer types? From what I can understand we need two things for this PR to move forward: 1. That Tock explicitly recognizes...
Definitely. This might be a way to resolve #3575 with perhaps a small amount of effort.