A Framework for the Non-Monolithic Implementation of Protocols in the x-kernel