Dario Nieuwenhuis ba6e0a4058 util: add wake_on_interrupt.
This is a lighter version of InterruptFuture.
2021-03-29 00:58:57 +02:00
..
2021-03-29 00:58:57 +02:00