Distributed Resource Kernels: OS Support for End-To-End Resource Isolation