The ServOS kernel: a special-purpose operating system kernel for server machines | IEEE Conference Publication | IEEE Xplore