Linux kernel for vybrid platforms