Kernel Channels
Kernel Channels are an async/await, MPSC queue, with a fixed backing storage (e.g. they are bounded).