The x-kernel: an open operating system design | IEEE Conference Publication | IEEE Xplore