Multikernel Technologies Inc has been working on a multi-kernel architecture for the Linux kernel while in addition to that they have been developing KernelScript as a domain-specific language for carrying out Linux kernel customizations and app-specific optimizations...