RPC Interface for Kernel Management
===================================