Hudson Ayers

Replaced by https://github.com/tock/tock/pull/3934

I am noticing that a lot of drivers have been ported but not the corresponding examples. what is the plan there?

After the call today we had some brief discussion about where this release should land relative to the updated Yield WaitFor PR. I would like to propose that we reduce...

Why is this only needed in the transmit direction, and not the receive direction?

Even with this change, Tock cannot guarantee interrupt latencies because the kernel is non-preemptible: if the kernel thread is already executing some longer-running task when a CAN interrupt arrives, the...

> True, though, since we're size-optimizing, if that function didn't get inlined everywhere, adding the fifth argument would require spilling to the stack [assuming `stuct upcall_id` were passed by ref,...

Did you hit this bug in practice? If so I am curious to see how. I guess just using the default MPU config on a board with no MPU? I...

> > Question for maybe @hudson-ayers: did we ever decide publicly (i.e., document somewhere) that we need to have a `//SAFETY` doc next to every `unsafe`? (thinking about what #3382...

> I thought we implemented capabilities as traits so we could implement multiple capability traits on the same object, and pass multiple capabilities at once. I don't think that is...

General question: if we are not using trait objects anymore, why pass a reference to the capability, instead of just passing the capability struct itself? It is a ZST, and...