Indan Zupancic
Indan Zupancic
The manual is sometimes sloppy in using capabilities to refer to objects, or vice versa, and that should be fixed, as that can be confusing (because it's wrong). Whether methods...
> the distinction between object and cap to object is not only theoretical That I agree with, but I disagree with the distinction between invoking a cap or invoking an...
> > If you see delete as an invocation on an object, it is an invocation of the cnode object, not whatever the cap is pointing to. And that is...
`HAVE_SET_TRIGGER` is not a configuration option, even though the code checks it with `config_set()`. It is defined by the IRQ controller code used for the platform. You could check indirectly...
It seems you're right. I think it was assumed `IRQ_NONE` is 0, while it is 1023.
The Gitlint and License Checks are stuck, but I can't re-trigger them. I also don't have an option to bring the branch up-to-date, so I guess a manual merge needs...
So I looked at the Broadcom UART documentation, but it doesn't explain what the receive time-out does. Does it trigger all the time or does it only trigger after receiving...
> As far as I understand, the receive timeout only triggers after a certain period of no incoming data Does that mean you get an interrupt all the time? Because...
I agree with Kent. I think 4996de7d5e086f894fa49d2f2b6e35a7d9c44aee is the most controversial change and hardest to review for correctness, all other commits seem fairly straightforward.
I would prefer the problematic commit to be in its own PR, so we can discuss it there without holding up the rest.