Hybrid OS scheduler for Linux Kernel scheduler