Michal Ostrowski, a developer with the K42 project at IBM Research, posted to dragonfly.kernel and noted that DragonFly and K42 are very similar in design and could benefit from interaction. He brought up several papers located on their site: a K42 overview, K42 and traditional UNIX APIs, and K42’s threading and scheduling infrastructure. The closely-related Tornado operating system also has some good information.
I’ve been playing too much Day of Defeat; I see ‘KAR98‘ every time I read K42. The project’s not about a teutonic WW2 rifle, though – the name K42 has a different origin.