The RHODOS microkernel, kernel servers and their cooperation | IEEE Conference Publication | IEEE Xplore