K42: An Open-Source Linux-Compatible Scalable Operating System Kernel

K42 is an open-source scalable kernel supporting the Linux API and ABI. Its design allows rapid prototyping of operating system policies and mechanisms, providing open-source developers a conduit via which they may quickly test potential operating system innovations. K42's object-oriented model provides per instance resource management. Per-instance management allows K42 to be customized simultaneously to differing demands of applications, allows that customization to change on-the-fly, providing autonomic and on demand functionality, and allows base K42 source to affect only specific applications. Thus, developers with non-mainstream needs can have their code integrated into K42 without affecting other users unless the other users also desire the modifications