Working within the Windows Research Kernel to implement a fair share scheduler