Library async_rpc_kernel

The entry point for this library is module Async_rpc_kernel.