Experience with K42, an open-source, Linux-compatible, scalable operating-system kernel | IBM Journals & Magazine | IEEE Xplore