Function cerk_runtime_threading::channel::new_channel_kernel_to_component

pub fn new_channel_kernel_to_component() -> (BoxedSender, BoxedReceiver)

Create a new channel with a ThreadingSender and a ThreadingReceiver. The implementation is based on std::sync::mpsc channel model.

This channel has an "infinite buffer" and should only be used to send message from the kernel to other components, so that the kernel is never blocked.