A Kernel Running in a DSM - Design Aspects of a Distributed Operating System