Leon Schuermann

We had some discussions and concerns around potential size impacts of these changes. As far as I can tell most of this infrastructure is entirely optional and the intention is...

> 1. I'm not clear on what this would look like. I can see something like this: > > ```rust > /// A checked flash region > struct FlashReadRegion, {...

FWIW, this is pretty much exactly what I have envsioned on the call. IMHO a generic mechanism like this is preferable over a more specific one related to buffers such...

> Return values are already being sent to the application by replacing the system call arguments in the system call frame. Ah, sorry, I missed that! This sound pretty good...

Sorry, that was unintended. These buttons are way to close to each other. :sweat_smile:

FWIW, #3080 could be of interested here. I was reminded of #2582 while reviewing this and noticing your use of `volatile_` accesses. Long story short, you should not (be required...

Thank you for these measurements @alexandruradovici! I do believe that these numbers are somewhat conversative though. @vsukhoml was specifically to pack different system calls into a single invocation, which might...

> I'd like to suggest that the compound should terminate early if a syscall fails; the return result can indicate which one it failed I see convincing arguments for both...

I think this change is good generally, but only a small selection of chips needs to have these types of static deferred calls, right? I'm not opposed to any of...

While debugging tock/tock#2906 I've noticed a more intricate issue of app load order and, what appears to me as a racy relationship of the IPC service registering its callback and...