Kernel support for distributed systems