Comment by aliceryhl

It's trivial to implement an async runtime in the kernel. The kernel's workqueue is already essentially a runtime.