diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-08-05 22:24:03 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-08-05 22:24:03 +0200 |
| commit | b1240217bd003f01c5d382ab1812773c08afd8b6 (patch) | |
| tree | 2f7cad66568a5253bcc7d3ee583080a15fd5b083 /examples | |
| parent | 8a65128cfed335e637ee80c91b1efc7b3c58ba10 (diff) | |
Remove Portal. Fixes #32
Portal is very niche, I've only ever used it in `nrf-softdevice` and in a very particular case:
sending event raw-pointers across tasks but "synchronously", because the destination task must process
it now, so it's not deallocated. For most usecases, Signal or channels is enough.
It's unclear to me whether it can be made ub-free. It has problems with reentrancy. It's also not leak-safe, which is quite annoying.
So, remove it for now. We can always add it back later.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions