Experience with K42, an open-source, Linux-compatible, scalable operation-system kernel IBM SYSTEM JOURNAL, VOL 44 NO 2, 2005 J. Appovoo、M. Auslander、M. Butrico、D.…