K42 is an open-source research kernel for cache-coherent 64-bit multiprocessor systems. K42 focuses on achieving good performance and scalability, providing a customizable and maintainable system, and being accessible to a large community through an open source development model. To that end, K42 fully supports the Linux API and ABI and uses Linux libraries, device drivers, file systems, and ot...

K42 is an open-source research kernel for cache-coherent 64-bit multiprocessor systems. K42 focuses on achieving good performance and scalability, providing a customizable and maintainable system, and being accessible to a large community through an open source development model. To that end, K42 fully supports the Linux API and ABI and uses Linux libraries, device drivers, file systems, and ot...

Design and Implementation of K42's Dynamic Clustered Object Switching Mechanism Kevin Hui Master of Science Graduate Department of Computer Science University of Toronto 2000 Recent research e orts have investigated customizable operating systems, where the implementation of operating system services can be chosen to meet an application's performance or functionality requirements. This disserta...

J. Appavoo M. Auslander M. Butrico D. M. da Silva O. Krieger M. F. Mergen M. Ostrowski B. Rosenburg R. W. Wisniewski J. Xenidis K42 is an open-source, Linux-compatible, scalable operating-system kernel that can be used for rapid prototyping of operating-system policies and mechanisms. This paper reviews the structure and design philosophy of K42 and discusses our experiences in developing and u...

J. Appavoo M. Auslander M. Butrico D. M. da Silva O. Krieger M. F. Mergen M. Ostrowski B. Rosenburg R. W. Wisniewski J. Xenidis K42 is an open-source, Linux-compatible, scalable operating-system kernel that can be used for rapid prototyping of operating-system policies and mechanisms. This paper reviews the structure and design philosophy of K42 and discusses our experiences in developing and u...

K42 is an open-source research kernel targeted for 64bit cache-coherent multiprocessor systems. It was designed to scale up to multiprocessor systems containing hundreds or thousands of processors and to scale down to perform well on 2to 4-way multiprocessors. K42’s goal was to re-design the core of an operating system, but not an entire application environment. We wanted to use a commonly avai...

The Escherichia coli K42 capsular polysaccharide consists of leads to 3)-alpha-D-Galp-(1 leads to 3)-alpha-D-GalUAp-(1 leads to 3)-alpha-L-Fucp-(1 leads to repeating units. The E. coli K42 and Klebsiella K63 antigens are serologically identical.

We study the modal logic K42 of common belief for normal agents. We study Kripke completeness and show that the logic has tree model property. As a main result we prove that K42 is the modal logic of all TD-intersection closed, bi-topological spaces with derived set interpretation of modalities. Based on the splitting translation we discuss connections with S42 , the logic of common knowledge.

K42 is a research project at IBM Research that explores operating system design by building a complete operating system kernel from the ground up. This survey identifies K42’s key concepts and design decisions and gives an overview of related research systems and literature.

JEL Classification: K42, L13, O17.