KernelScript: A Programming Language For Kernel Customization & App Optimizations

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...