diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-08-24 00:05:38 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-08-24 00:05:38 +0000 |
| commit | 529535194d4b5d58b31fd6a7541176105e3c63f7 (patch) | |
| tree | be1ec5bcf454591395661814f9dc71b970617828 /embassy-executor | |
| parent | 9947e27ee172302bde54bdeeb291328aa93f6fa0 (diff) | |
| parent | 91a9168a32099bba91709543213322dc2eb1afac (diff) | |
Merge #926
926: nrf: PPI fixes r=Dirbaio a=Dirbaio
- Feature-gate DPPI-only stuff that should be feature-gated
- Fix unsoundness due to Task/Event ptr being public: this meant you could construct a Task/Event with an arbitrary pointer and then safely call `Ppi::new_*` which would blindly write to it. Now you have to go through `Task/Event::new_unchecked` which is unsafe, with the right safety contract.
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'embassy-executor')
0 files changed, 0 insertions, 0 deletions