Hybrid (H/W & S/W) OS scheduler for Linux Kernel scheduler